Hi Alex,
thank you for your reflections and perspective.
On 2026-01-08 09:58, Alexander Boettcher wrote:
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.
It is very laudable that you took the motto of your FOSDEM'25 talk
"microkernel diversity" to your heart and - in the form of the
multi-kernel system image - to its impressive logical conclusion. I
greatly appreciated that you took the topic right into the home of seL4
community in the form of your presentation at the seL4 summit, creating
awareness that Genode is no joke. :)
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.
Given Johannes' posting of today, I sense that your investigation of
x86-security features comes just at the right time. With "backlog work",
I guess you are referring the pre-boot topic. This would indeed fit very
well with the overall theme of system integrity protection and boot-time
security. Let's see where it takes us.
Cheers
Norman
--
Dr.-Ing. Norman Feske
Genode Labs
https://www.genode-labs.com · https://genode.org
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
_______________________________________________
users mailing list -- [email protected]
To unsubscribe send an email to [email protected]
Archived at
https://lists.genode.org/mailman3/hyperkitty/list/[email protected]/message/HYVFBEW6WW3WJYW3DVMM5CDMIQLFJDPP/