[seL4 Announce] Genode Sculpt runs on seL4

Genode Sculpt runs on seL4 Genode Labs have released Sculpt OS 25.10 [0] 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. [0] https://genodians.org/alex-ab/2025-11-02-sculpt-multi-kernel Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems <mailto:birgit@sel4.systems> bbrcknl@gmail.com <mailto:bbrcknl@gmail.com>