In search of a type-1 (bare metal) hypervisor and not only