Hey there, Given VirtualBox requires nonfree dependencies to be built, would it be worth having a port of QEMU running on Genode instead? How hard would it be to set this up? Cheers, Jookia.