Hi all,
2025 was a quite strange but interesting year for me. Making the Genode support fit to run (on official unsupported) Sculpt OS variations occupied quite some time, but was fun and I learned a lot, about the kernels and (yes, also) Genode. Presenting the results live on a running Sculpt@kernel image at meetings and at conferences (Dresden Systems Meetup, FOSDEM, seL4 summit), in front of, partially non Genode faced, communities was also very special, but I don't want to miss the experience actually. It finally settled in the release of a combined multi-kernel Sculpt OS 25.10 image [0] for NOVA, hw, NOVAe, seL4 and Fiasco.OC, which triggered (surprisingly to me) quite good attention.
Other working topics had been adding/enabling ARMv8 support to Genode/seL4 and Genode/NOVAe, building a working prototype to run Win11 as VM on Genode@NOVA, investigation of the Intel TotalMemoryEncryption feature with multi-key support and building a working prototype for Genode@NOVA, and an early working prototype to be able to hot plug also display drivers during runtime. My second year of running my VMs daily, just powered by the Seoul VMM, went quite well without hick-ups. Just the feature work on shared-folder support for Seoul, received too less attention to have something to share yet.
For 2026 I expect quite some amount of contract work and backlog work from the 2025 roadmap, so I will see where it goes.
Cheers,
Alex.
[0] https://genodians.org/alex-ab/2025-11-02-sculpt-multi-kernel