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

More

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