Meet us at the seL4 summit during September 2-5 Jul 09, 2025

With delight, we will present the combination of Sculpt OS with the seL4 kernel at the seL4 summit in Prague.

The seL4 microkernel project pursues the application for formal methods to the operating-systems domain. Even though we enabled the basic combination of Genode with the seL4 kernel as early as 2015, this line of work remained largely experimental and limited to the scope of rather static systems. Earlier this year, however, Genode core developer Alexander Boettcher aspired to bring the fully featured and highly dynamic Sculpt OS over to this kernel. The outcome of this undertaking will be presented at the seL4 summit.

seL4 Summit

September 3 to 5 in Prague

https://sel4.systems/Summit/2025/

For those interested in leveraging seL4 and Genode together, don't miss the opportunity to catch up in person by joining the summit!