Type 1 hypervisors