Seems like there's a market for a tiny hypervisor.