Makatea
An x86, 64-bit Virtual Machine Monitor for the seL4, verified microkernel
ProjectID
Makatea
Acronym
Makatea
Additional Info
Not available yet
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country: Switzerland
NGI Project: NGI Zero Entrust
Status: Early research demo
check other similar innovations
Verified Differential Privacy for Julia
Proving sound privacy guarantees through a type system
CryptPad Auth Improvements
Better user management, 2FA and SSO for CryptPad
Maemo Leste Telepathy
Modernise open source real-time communications stack
SCE – Some Congestion Experienced
Development a new SCE queueing discipline (qdisc) that can operate using a small and fixed number of FIFO queues for...
