Hello,
On 02.09.2016 00:04, Yevgeny Lavrov wrote:
- 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
Yes.
- Where should I add "<config><image type="iso"
file="/iso/test.iso"/></config>" ?
Not needed, see below.
- Where to execute make run/virtualbox? I assume it's my build directory.
Yes, call in your build directory, <Genode-dir>/build/nova_x86_64,
make run/virtualbox
However, executing it in my build directory results in Error: no run script for virtualbox.
The effectively used run script is located in $(GENODE_DIR)/repos/ports/run/virtualbox.run, so you have to add also the "ports" directory to your build.conf file.
So do the same as with "libports", in your words:
uncommented REPOSITORIES += $(GENODE_DIR)/repos/ports line in <Genode-dir>/build/nova_x86_64/etc/build.conf
Cheers,
Alex.