It sounds closer to the former (as that's KVM) https://github.com/unikraft/unikraft

What isn't clear is how it inlines kernelspace, whether that surface area is optimized down etc