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
LinkedDataHub
Framework to handle Linked Data at scale
FOSS Warn
Aggregate source of emergency alerts
Vita
A high performance IPSEC implementation
PURPETS
Builds on existing PET principles and proposes a list of real-life situations which can be affected by personal data sharing...
