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.