Ah I just read up on it on Wikipedia and it looks like my previous literature was incorrect – Type 1 hypervisors are the ones I was thinking about (where Type 2 are user-space applications such as VBox).