Let me first say that I really like the Genode-Foundations 15.05 manual and have worked thorugh the first part through section 2.4 which ends with making NOVA and booting it with the Demo

I know that this question has been asked but searching back through the mailing list archives, I cannot seem to locate a clear procedure to set up and run virtualbox under genode under nova.

In one mailing list discussion it said to go into the 

$ cd <genode>/repos/ports 

$ run/virtualbox

and then with a test.iso (tinycore_x86_64.iso) in bin (assuming <genode>/build/nova_x86_64)

Perhaps I am missing something, but this did not work?

Is there any documentation on the website that I might be able to look at to get an idea?

Sorry for the simple questions (in the learning curve now for Genode) as I am trying to get a good understanding of Genode and how it operates as I think that it will be very good for the project that I am working on at the moment.