I've seen the Genode website, and I noticed that it is possible to run VirtualBox on Genode. I'm currently running Genode on a NOVA hypervisor.

What should I do to get VirtualBox running on Genode?