I am new here. Very interested in Genode.  am a current qubes os user. But I am wondering what the difference is between how genode virtualizes and how qubes does it.

I understand that Virtualbox is working on Genode, but what about hardware virtualization like in qubes?

What interests me is the possibility of having the low TCB of Genode but the HVMs of Qubes.