Hello, last week Genode released a new version of its open source OS - Sculpt OS 25.10 [0]. I took the opportunity to craft an PC image that also contains an (unofficial and experimental) Sculpt variant based upon seL4 as kernel [1]. The variant reflects to large degree the state I presented live [2,3] on the seL4 summit 2025 [4], beside that it is now based upon seL4 13.0 instead of 12.3. In case you are interested, feel free to check out [1] to run seL4 yourself with an interactive dynamic OS. Cheers, Alex. [0] https://genode.org/download/sculpt [1] https://genodians.org/alex-ab/2025-11-02-sculpt-multi-kernel [2] https://www.youtube.com/watch?v=N624i4X1UDw [3] https://sel4.systems/Summit/2025/abstracts2025.html#a-sculpt-os [4] https://sel4.systems/Summit/2025/ -- Alexander Boettcher Genode Labs https://www.genodians.org - https://www.genode.org