Setting up a type 1 hypervisor