Writing a Hypervisor in 1k Lines