An x86, 64-bit Virtual Machine Monitor for the seL4, verified microkernel
Makatea
Makatea
Not available yet
Not available yet
https://nlnet.nl/contact/
Not available yet
Not available yet
Country: Switzerland
NGI Project: NGI Zero Entrust
Status: Early research demo