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

Status: Early research demo

Category: Operating systems, firmware and virtualisation

check other similar innovations
Skip to content