Procedure to build and run virtualbox/genode/nova