I don't know much of anything about Nova but since the late 1990s this has also been the pitch for L4; there are several mature L4's.
Nova is L4 inspired, and interchangable with L4 kernels in Genode.
[dead]
Nova is L4 inspired, and interchangable with L4 kernels in Genode.