About the secure Sculpt OS (and Genode)

These are links about the secure Sculpt OS, built using the Genode Framework and the NOVA kernel, which uses the Linux kernel (6.18) for drivers and some FreeBSD components:

https://genodians.org/nfeske/2025-01-30-sculpt-os-walkthrough

https://genode.org/files/genode_ezag-2025.m4v

• The system supports several kernels:
  https://archive.fosdem.org/2025/schedule/event/fosdem-2025-5768-celebrating-kernel-diversity-with-genode/

• The system with the strict seL4 kernel:
  https://youtu.be/N624i4X1UDw

• The latest release (26.04) of the Sculpt OS can be developed using Goa tool without the need for a Linux system:
  https://genode.org/news/sculpt-os-release-26.04

• Community (unofficial?) forum for Genode and Sculpt OS:
  https://genode.discourse.group/

• The story of Genode:
  https://pca.st/episode/697aff39-7ea8-47a0-ba99-12046fb5e844