Huh. This project is still going strong. I remember playing with it ... 15 years ago, when (IIRC) for some time it was supporting microkernel I was part of the team developing (Codezero).
The Base Platform https://genode.org/documentation/platforms/index mentions mostly microkernels even older than Genode. I wonder how does the microkernel landspace looking now? Is it just done or do people still release interesting new projects nowadays? Do real deployments of Genode use typically Linux due to HW support anyway?
How is RISV support anyway?
Makes me wonder if something like Nix and Genode could be combined for some interesting properties. Reproducible, flexibly nested OSes, etc.
As an observer and occasional Genode user, not a Genode developer, the non-Linux option with the highest development focus is the NOVA microkernel (default for Sculpt OS), with seL4 also receiving a lot of attention. Genode on Linux is most often used for development. I am not clear on the tradeoffs between different kernels but you may ask in the forums if interested. I suspect that the (formally verified) seL4 fully works, but at a performance cost.
The Base Platform https://genode.org/documentation/platforms/index mentions mostly microkernels even older than Genode. I wonder how does the microkernel landspace looking now? Is it just done or do people still release interesting new projects nowadays? Do real deployments of Genode use typically Linux due to HW support anyway?
How is RISV support anyway?
Makes me wonder if something like Nix and Genode could be combined for some interesting properties. Reproducible, flexibly nested OSes, etc.