Hello

I'm currently trying to reproduce VertualBox with Tinycore Linux running on top of NOVA hypervisor scenario on x86-64 hardware.

The steps I've taken so far are:
1) ./tool/ports/prepare_ports for nova and virtualbox
2) ./tool/create_builddir nova_x86_64
3) uncommented REPOSITORIES += $(GENODE_DIR)/repos/libports line in <Genode-dir>/build/nova_x86_64/etc/build.conf

4) Downloaded Tinycore Linux .iso image

Questions:

1) Where should I put Tinycore Linux .iso file? It says save it as bin/test.iso in the similar thread "running VirtualBox on Genode" on Genode mailing lists. Is it <Genode-dir>/build/nova_x86_64/bin directory that gets created after executing make run/demo?

2) Where should I add "<config><image type="iso" file="/iso/test.iso"/></config>" ?

3) Where to execute make run/virtualbox? I assume it's my build directory. However, executing it in my build directory results in Error: no run script for virtualbox.

Please advise

Thank you