index
#Genode can run on Linux, its own micro #hypervisor NOVA, bare hardware, #seL4, Fiasco.OC, L4ka::Pistachio, OKL4, and L4/Fiasco
how #Genode uses #C++ “consciously”