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
Converged Security Suite +AMD
Add AMD support to Converged Security Suite
Go Aries – Enabling CL-Support on Aries Framework Go
The Go Aries! project focuses on enabling CL signatures and -credentials within the Aries Framework Go to make it compatible...
Guilds
Token Curated Lists for Trust and Reputation
StreetComplete
Collaborative editing in OpenStreetMap
