x86-64 VM Monitor for seL4 verified microkernel
Very restricted virtualized environment for higher security
ProjectID
seL4-64bitVMM
Acronym
seL4-64bitVMM
Additional Info
- Resources
- Source code
- https://github.com/seL4/seL4
Enduser Relevance
How can you understand and trust a complex system, like the operating system managing the hardware and software on your computer? You can make the complexity simpler by cutting it up
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country: Switzerland
NGI Project: NGI zero pet
Status: Early research demo
Category: Operating systems, firmware and virtualisationSoftware engineering, protocols, interoperability, cryptography, algorithms, proofs
check other similar innovations
Kazarma
Bridge ActivityPub and Matrix realms
Email for expert news
Keep up to date with a flow of publication
Cloud AI applied to CoBots
CloudBots aims to design and implement a framework based on Software-Defined Network (SDN) idea to program and control robots through...
Edge-TINC
Edge-TINC is developing the networking stack and all the required protocols to enable in-network nodes that possess CPU capacity to...
