Type 1 (bare-metal) hypervisors should be used for minimalism, reduced attack surface, and better performance.
seL4 Microkernel provides libsel4vm, which fits well with this design.
For Linux kernel we can use Xen hypervisor.
Note: KVM is not true hypervisor type 1, check comparison of KVM vs Xen.