Type-1 and Type-2 Hypervisors