Genode Labs have released Sculpt OS 25.10 with an (unofficial and experimental) variant running on seL4. Sculpt is a general-purpose OS that combines Genode’s microkernel architecture, capability-based security, sandboxed device drivers, and virtual machines in a novel operating system for commodity PC hardware and the PinePhone. Sculpt is used as day-to-day OS by the Genode developers.
