Thank you for the advise, everything compiled w/o any problems. However, while testing it via Qemu, I ran into the following issue: once Tinycore Linux reaches "Booting the kernel" phase, it hangs, and the following msg gets displayed on my terminal:

[init -> virtualbox] main     genodeConsole = 0000000000c0d8c8
[init -> fb_drv] Error: Could not open ROM session for "config"
[init -> fb_drv] Error: Could not obtain config file
[init -> fb_drv] Found: VESA BIOS version 3.0
[init -> fb_drv] OEM: SeaBIOS VBE(C) 2011
[init -> fb_drv] Found: physical frame buffer at 0xfd000000 size: 16777216
[init -> fb_drv] fb mapped to 0x2000000
[init -> fb_drv] using video mode: 2560x1600@...443......
[init -> virtualbox] Warning: getenv called for non-existent variable "VBOX_USER_VMLOGDIR"
[init -> virtualbox] Warning: requested stack for thread 'EMT' of 1048576 Bytes is too large, limit to 1036288 Bytes
[init -> virtualbox] Warning: _fpathconf: _fpathconf not implemented
[init -> virtualbox] Warning: statfs provides bogus values for '//test.iso' (probably a shared folder)
[init -> virtualbox] Warning: getenv called for non-existent variable "VBOX_SUPLIB_FAKE"
[init -> virtualbox] EMT      Initial balloon size 0
[init -> virtualbox] EMT      PDMR3VmmDevHeapRegister 00000000f0400000 0000000000bfc000 4000
[init -> virtualbox] Warning: getenv called for non-existent variable "VBOX_SUPLIB_FAKE"
[init -> virtualbox] Using SVM virtualization extension.
[init -> virtualbox] fb resize : 2560x1600@...64... -> 720x400@...361...
[init -> virtualbox] fb resize : 720x400@...443...... -> 640x480@...362...
[init -> virtualbox] fb resize : 640x480@...64... -> 720x400@...361...
[ 0] Killed EC:0xffffffff83282b80 SC:0xffffffff83219740 V:0x7f CR0:0x80050033 CR3:0x760000 CR4:0x0 (PT not found)

I've also attempted to create bootable USB from virtualbox.iso via dd. While on boot, I got the following msg

HDD EBIOS
isolinux.bin missing or corrupt

Any suggestions on where something might have gone wrong?

Thank you



On Fri, Sep 2, 2016 at 3:54 AM, Alexander Boettcher <alexander.boettcher@...1...> wrote:
Hello,

On 02.09.2016 00:04, Yevgeny Lavrov wrote:
> 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

Yes.

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

Not needed, see below.

> 3) 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.

------------------------------------------------------------------------------
_______________________________________________
genode-main mailing list
genode-main@...172...net
https://lists.sourceforge.net/lists/listinfo/genode-main