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
Manyverse Private Groups
Implement SSB Private Groups in Manyverse
Federated Timesheets
Interoperable machine-readable time tracking
EGIL SCIM client
System for Cross-domain Identity Management
Fairteam
The EU – US FairTeam project is addressing the NGI topics of Privacy and Trust enhancing technologies and Decentralised Data...
