Simple bespoke hypervisor for ARM