A virtual machine for Kernel-E.