losfair/l4h
seL4-based hypervisor for Linux VMs
3 best points · 0 comments · 2 Hacker News posts · 13 GitHub stars · View on GitHub
Hacker News discussions
- Show HN: L4H – our hypervisor built on the seL4 microkernel (3 points, 0 comments, by losfair, 2026-11-05)
- Show HN: L4H – seL4-based hypervisor for Linux VMs (1 points, 0 comments, by losfair, 2026-10-31)