Hello,
last week Genode released a new version of its open source OS - Sculpt OS 25.10 [0].
I took the opportunity to craft a PC image that also contains an (unofficial and experimental) Sculpt variant based upon a Fiasco.OC kernel [1] version. The variant reflects to large degree the state I presented live during the Systems Meetup [2] gathering at the TU Dresden in January 2025.
In case you are interested, feel free to check out [1].
Cheers,
Alex.
[0] https://genode.org/download/sculpt [1] https://genodians.org/alex-ab/2025-11-02-sculpt-multi-kernel [2] https://ukvly.org
l4-hackers@os.inf.tu-dresden.de