I have been working with VMM's for a while now and it lately my understanding is that Bhyve is much better than VirtualBox.

I was wondering if Bhyve has been ported to Genode yet as I would like to see it run with Bhyve+Sculpt+NOVA if that were possible?

There is also a minimal port to OS-X called Xhyve (https://github.com/machyve/xhyve) which is completely self-contained except for just a few calls to the hypervisor from what I read and might be easier to port than the base Bhyve.

Cheers,

Lonnie