Show HN: L4ES – Linux sandboxes powered by the seL4 microkernel

Found the actual hypervisor[0]. It is GPLv2.

0. https://github.com/losfair/l4h