vbox4_ubuntu_16_04_64.run recipe

[Alexander Boettcher]

Hello,

On 13.10.2017 17:01, Chris Rothrock wrote:
> I am trying to get a working virtual machine in Genode with the
> recipe vbox4_ubuntu_16_04_64.run but I am unsure where the virtual disk
> image file (.vdi) should reside so that the VirtualBox module loads it
> properly.  I am able to get a good compile and it seems to boot to Genode
> just fine and I even see the CPU status meter but I don't get the virtual
> machine booting up.  I created a VirtualBox VM with this same name with a
> VDI and completed a full install of Ubuntu 16.04 64 bit and am trying to
> use this image file.  As far as I can tell, the VDI meets all the
> parameters and works fine with using both Linux and Windows VirtualBox to
> run.  Any instructions on getting this (and possibly Windows VMs to work)
> would be greatly appreciated.

the vbox4_* and vbox5* run scripts are specifically setup for our test
machine. The scripts are executed automatically by our tests every day.

If you want to use those run scripts, you have to manually prepare your
test target machine beforehand similar to ours.

All the vbox4_*.run and vbox5_*.run scripts expect that the .vdi image
is placed on the target test machine. In the test machine a AHCI disc is
expected to appear as device 0 with a MBR partition scheme. The 4.
partition must contain a ext2 filesystem (see
repos/ports/run/virtualbox_auto.inc, look for ahci_drv and part_blk).

On the ext2 filesystem the vdi must lie in the root directory, and
additionally a "ram" directory is expected with a empty overlay vdi
image. The overlay image is loaded and kept during run script execution
just in RAM. All writes to the vdi goes to this overlay image instead of
the original Ubuntu image, to make sure that the original vdi file is
not modified.

So, for vbox4_ubuntu_16_04_64.run (using
repos/ports/run/vm_ubuntu_16_04_64.vbox) it looks like:

/ubuntu_16_04_64.vdi
/ram/overlay_ubuntu_16_04_64.vdi

on the target test machine.

For the Windows VMs it is similar, just look into the corresponding
Virtualbox configuration *.vbox files for the vdi image names and add
the files to the filesystem on the target machine beforehand.

Information about creating the overlay images you will find in the
Internet or you may read the beginning of repos/ports/run/vbox_share.inc
for some hints.

Cheers,

-- 
Alexander Boettcher
Genode Labs

http://www.genode-labs.com - http://www.genode.org

Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth