NOVA is a hypervisor (or micro-hypervisor) descended from L4.
todo:
Papers related to NOVA hypervisor
- Combining mechanized proofs and model-based testing in the formal analysis of a hypervisor [becker:fm:2016]
Interesting papers
NOVA is a hypervisor (or micro-hypervisor) descended from L4.