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
SeedVault
Private backups of mobile applications
Enhance the vulnerability database
Enhance the VulnerableCode vulnerability database
NaxRiscv core improvements
Open hardware out-order Risc-V CPU
LabPlot
Scientific and engineering data analysis and visualisation
