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-scu
…