🛠️ L4H – our hypervisor built on the seL4 microkernel

Summary
L4H is a hypervisor built on top of the seL4 microkernel. It allows running virtual machines with seL4's security and isolation properties.

Why it’s interesting
It features a hypervisor implementation built directly on the seL4 microkernel architecture.

Source metrics: Points 3 · Comments 0
HN discussion · Project
Source: #HackerNews / Show HN