<p dir="ltr">While I can't comment on Linux situation, except that vboxdrv has access to hosts memory, it would be interesting for you to know, that there is a userspace version of VirtualBox for Genode OS, that seems more secure.<br>
</p>
<p dir="ltr"><a href="http://genode.org/documentation/release-notes/14.02#VirtualBox_on_top_of_the_NOVA_microhypervisor">http://genode.org/documentation/release-notes/14.02#VirtualBox_on_top_of_the_NOVA_microhypervisor</a></p>

<p dir="ltr">-Technologov</p>