Per that link, this runs a Linux kernel as a VM on top of an L4-based hypervisor.