It's an exokernel. It's kind of like if you modified a hypervisor specifically for running unikernels instead of classic VMs.