It is no accident that recent attempts to write hobby OSes nowadays target type 1 hypervisors instead of real hardware.