Type-1 Hypervisors