Show HN: L4H – seL4-based hypervisor for Linux VMs

Category: infrastructure

Tags: hypervisor, sel4, virtualization, rust, microkernel, security

Score: 7.3/10 (Innovation: 8, Technical: 9, Documentation: 6, Utility: 6)

L4H is a Type-1 hypervisor built on the seL4 microkernel that runs Linux VMs as usermode threads without hardware virtualization extensions. It provides strong isolation, TPM-backed attestation, and IOMMU protection, targeting production use on modern x86 CPUs. The project is technically ambitious and novel in its approach to leveraging seL4 for Linux virtualization.

Target audience: devops, security engineers, systems programmers

Repository: https://github.com/losfair/l4h · Rust · GPL-2.0 · 3 stars

View on Hacker News