> If the OS was using a highly secure microkernel in the first place, their hardware virtualization approach wouldn't be needed.

Do you have any statistics to show about how secure a micro-kernel is? I can't believe it can be better than this: https://www.qubes-os.org/security/qsb/