https://en.wikipedia.org/wiki/L4Linux
Per that link, this runs a Linux kernel as a VM on top of an L4-based hypervisor.
alt Hacker News
Per that link, this runs a Linux kernel as a VM on top of an L4-based hypervisor.