#Genode can run on Linux, its own micro #hypervisor NOVA, bare hardware, #seL4, Fiasco.OC, L4ka::Pistachio, OKL4, and L4/Fiasco
on 02022-10-12what the #seL4 #security and correctness proofs demonstrate through #formal-methods. Now they don’t trust the compiler and linker.
on 02016-06-29