Hello,
On 29.11.2017 22:27, Johnysecured88 via genode-main wrote:
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.
VirtualBox on Genode/NOVA uses hardware-based virtualization.
Cheers Norman