Micro-hypervisor