losfair/l4h
View on GitHub ↗ ★ 33 Rust
seL4-based hypervisor for Linux VMs
3 mentions on Hacker News by 2 people: 2 stories, 1 comment · first 2026-10-30 · latest 2026-11-05
20082026
-
▲ 3
Show HN: L4H – our hypervisor built on the seL4 microkernelstory by losfair · 2026-11-05 · 0 comments
-
▲ 1
Show HN: L4H – seL4-based hypervisor for Linux VMsstory by losfair · 2026-10-31 · 0 comments
-
Found the actual hypervisor[0]. It is GPLv2. 0. https://github.com/losfair/l4h
comment by snvzz · 2026-10-30 · in Show HN: L4ES – Linux sandboxes powered by the seL4 microkernel