You’re likely use to monolithic type 1 hypervisors and that is why a microkernel type 1 hypervisors seem strange.
