I am still attempting to make a VM work from an external .vdi disk image using the model of your testing platforms.  I still haven't been able to get the testing platform running properly either but using the configuration as a template, I have adapted my own run recipe to make one VM using a TinyCore VM booting from the ISO (as in the Virtualbox demo) and one VM booting from the VDI.  The hardware I am running has been tested and works fine with up to 3 VMs running the TinyCore demo flawlessly.

Here is the findings from my configuration and testing of the build I am attempting:
- vbox2 loads perfectly fine, TinyCore works flawlessly.
- vbox1 fails to load the main executable /virtualbox
- If I remove the one line from the configuration of vbox1 <dir name="ram">  <fs label="from_ram_fs" /> </dir> vbox1 loads (but obviously has nothing to boot from)
- I have also attempted to boot from the vdi file using <block name="sda3" label="raw" block_buffer_count="128" /> in the <vfs> tags and adding the service <service name="Block"><child name="part_blk"/></service> but this also fails to load the main executable
- serial data has an error [init -> platform_drv] Error: ahci_drv -> : assignment of PCI device 0:11.0 failed phys=0xe0088000 virt=0x1000 however further down, the AHCI controller is read and detects the hard drive on port 0 just fine, so this is seemingly working


Any assistance in getting this to work would be greatly appreciated.


Hardware configuration:
4 GB RAM
4 core CPU
1 serial port (for output data)
PS2 controller
USB controller with 6 ports
A single SATA hard drive on port 0 with 4 partitions.
Partition 3 and 4 are ext2 formatted
The .vdi file I have been trying to load is on both partitions 3 and 4 with the overlay file in the /ram directory also on each partition
The BIOS has the SATA controller set to AHCI mode (as opposed to IDE or RAID)

Filenames:
vbox1 config file: ubuntu16.vbox
vbox2 config file: test.vbox
vbox2 vdi file: ubuntu_16_04_64.vdi
vbox2 overlay file /ram/overlay_ubuntu_16_04_64.vdi

Run recipe:

set use_net 1
set use_ps2 [have_spec ps2]
set use_usb 1
set use_serial 1

set use_vbox4 1
set use_vbox5 [expr !$use_vbox4]

# use_gui starts two VMs
set use_gui 1
# need a nic bridge for 2 VMs
set use_bridge [expr $use_net && $use_gui]

set build_components {
core init
drivers/framebuffer
drivers/timer
drivers/ahci
server/part_blk
server/fs_rom
server/rump_fs
server/ram_fs
}

if {$use_vbox4} {
append build_components virtualbox
set virtualbox_binary "virtualbox-rem"
if {[have_spec muen]} { set virtualbox_binary "virtualbox-muen" }
if {[have_spec nova]} { set virtualbox_binary "virtualbox-nova" }
} else {
append build_components virtualbox5
set virtualbox_binary "virtualbox5-rem"
if {[have_spec nova]} { set virtualbox_binary "virtualbox5-nova" }
}

source ${genode_dir}/repos/base/run/platform_drv.inc
# override defaults of platform_drv.inc
proc platform_drv_priority {} { return { priority="-1"} }

lappend_if [expr $use_ps2]    build_components drivers/input
lappend_if [expr $use_usb]    build_components drivers/usb
lappend_if [expr $use_serial] build_components server/log_terminal
lappend_if [have_spec x86]    build_components drivers/rtc

lappend_if [expr $use_net]    build_components drivers/nic
lappend_if [expr $use_bridge] build_components server/nic_bridge

lappend_if [expr $use_gui]    build_components server/report_rom
lappend_if [expr $use_gui]    build_components server/nitpicker
lappend_if [expr $use_gui]    build_components server/nit_fb
lappend_if [expr $use_gui]    build_components app/vbox_pointer

append_platform_drv_build_components

build $build_components

create_boot_directory

set config {
<config prio_levels="4">
<parent-provides>
<service name="ROM"/>
<service name="IRQ"/>
<service name="IO_MEM"/>
<service name="IO_PORT"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>}

append_if [have_spec muen] config {
<service name="VM"/>}

append config {
</parent-provides>
<default-route>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<default caps="100"/>
<start name="timer">
<resource name="RAM" quantum="1M"/>
<provides><service name="Timer"/></provides>
</start>

<start name="ahci_drv" priority="-1" caps="500">
<resource name="RAM" quantum="10M"/>
<provides><service name="Block"/></provides>
<config>
<policy label_prefix="part_blk" device="0" writeable="yes"/>
</config>
</start>

<start name="part_blk" priority="-1">
<resource name="RAM" quantum="15M" caps="500"/>
<provides><service name="Block"/></provides>
<route>
<any-service><child name="ahci_drv"/> <parent/><any-child/></any-service>
</route>
<config>
<policy label_prefix="rump_fs" partition="3" writeable="yes"/>
</config>
</start>

<start name="rump_fs" priority="-1" caps="1500">
<resource name="RAM" quantum="20M"/>
<provides><service name="File_system"/></provides>
<config ld_verbose="yes" fs="ext2fs">
<policy label_prefix="overlay_from_disk" root="/ram" writeable="yes"/>
<default-policy root="/" writeable="yes"/>
</config>
<route>
<any-service><child name="part_blk"/> <parent/><any-child/></any-service>
</route>
</start>
<start name="ram_fs" priority="-1" caps="2800">
<resource name="RAM" quantum="512M"/>
<provides><service name="File_system"/></provides>
<config>
<content>
<dir name="ram">
<rom name="overlay_ubuntu_16_04_64.vdi"/>
</dir>
</content>
<!-- constrain sessions according to their labels -->
<policy label_prefix="vbox1 -> from_ram_fs" root="/ram" writeable="yes"/>
</config>
<route>
<service name="ROM" label="overlay_ubuntu_16_04_64.vdi">
<child name="overlay_from_disk"/></service>
<any-service> <parent/> <any-child/></any-service>
</route>
</start>
<start name="overlay_from_disk" priority="-1">
<binary name="fs_rom"/>
<resource name="RAM" quantum="32M"/>
<provides><service name="ROM"/></provides>
<route>
<service name="File_system"><child name="rump_fs"/></service>
<any-service><parent/><any-child/></any-service>
</route>
</start>}

append_platform_drv_config

append_if [expr $use_ps2] config {
<start name="ps2_drv" priority="-1">
<resource name="RAM" quantum="1M"/>
<provides><service name="Input"/></provides>
</start>}

append_if [expr $use_usb] config {
<start name="usb_drv" priority="-1" caps="120">
<resource name="RAM" quantum="8M"/>
<provides><service name="Input"/></provides>}

append_if [expr $use_usb && ![have_spec muen]] config {
<config uhci="yes" ehci="yes" xhci="yes">}

append_if [expr $use_usb && [have_spec muen]] config {
<config uhci="no" ehci="no" xhci="yes">}

append_if [expr $use_usb] config {
<hid/>
</config>
</start>}

append_if [have_spec framebuffer] config {
<start name="fb_drv" priority="-1" caps="150">
<resource name="RAM" quantum="4M"/>
<provides><service name="Framebuffer"/></provides>
</start>}

append_if [have_spec sdl] config {
<start name="fb_sdl" priority="-1">
<resource name="RAM" quantum="4M"/>
<provides>
<service name="Input"/>
<service name="Framebuffer"/>
</provides>
</start>}

append_if [have_spec x86] config {
<start name="rtc_drv" priority="-1">
<resource name="RAM" quantum="1M"/>
<provides>
<service name="Rtc"/>
</provides>
</start>}

append_if [expr $use_net] config {
<start name="nic_drv" priority="-1">
<resource name="RAM" quantum="4M"/>
<provides><service name="Nic"/></provides>
</start>}

append_if [expr $use_serial] config {
<start name="log_terminal" priority="-1">
<resource name="RAM" quantum="2M"/>
<provides>
<service name="Terminal"/>
</provides>
</start>}

append_if [expr $use_bridge] config {
<start name="nic_bridge" priority="-1">
<resource name="RAM" quantum="6M"/>
<provides><service name="Nic"/></provides>
<config/>
<route>
<service name="Nic"><child name="nic_drv"/></service>
<any-service><parent/></any-service>
</route>
</start>}

append_if [expr $use_gui] config {
<start name="report_rom" priority="-1">
<resource name="RAM" quantum="2M"/>
<provides> <service name="Report"/> <service name="ROM"/> </provides>
<config>
<policy label="vbox_pointer -> hover"               report="nitpicker -> hover"/>
<policy label="vbox_pointer -> xray"                report="nitpicker -> xray"/>
<policy label="vbox_pointer -> shape1"              report="vbox1 -> shape"/>
<policy label="vbox_pointer -> shape2"              report="vbox2 -> shape"/>
</config>
</start>

<start name="nitpicker" priority="-1">
<resource name="RAM" quantum="4M"/>
<provides><service name="Nitpicker"/></provides>
<route>
<service name="Framebuffer"> <child name="fb_drv" /> </service>
<service name="Report"> <child name="report_rom" /> </service>}

append_if [expr ($use_gui && $use_ps2)] config {
<service name="Input"> <child name="ps2_drv"/> </service>}
append_if [expr ($use_gui && $use_usb)] config {
<service name="Input"> <child name="usb_drv"/> </service>}

append_if [expr $use_gui] config {
<any-service> <parent/> <any-child /> </any-service>
</route>
<config>
<report focus="yes" hover="yes" xray="yes" />

<domain name="pointer"  layer="1" content="client" label="no" origin="pointer" />
<domain name=""         layer="2" content="client" focus="click" hover="always" />

<policy label_prefix="vbox_pointer"     domain="pointer"/>
<default-policy domain=""/>
</config>
</start>

<start name="vbox_pointer" priority="-1">
<resource name="RAM" quantum="4M"/>
<config>
<policy label="nit_fb1" rom="shape1"/>
<policy label="nit_fb2" rom="shape2"/>
</config>
<route>
<service name="Nitpicker"> <child name="nitpicker"/>  </service>
<service name="ROM" label="shape1"> <child name="report_rom"/> </service>
<service name="ROM" label="shape2"> <child name="report_rom"/> </service>
<service name="ROM" label="hover"> <child name="report_rom"/> </service>
<service name="ROM" label="xray"> <child name="report_rom"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>

<start name="nit_fb1" priority="-1">
<binary name="nit_fb"/>
<resource name="RAM" quantum="8M" />
<provides>
<service name="Framebuffer" />
<service name="Input" />
</provides>

<config xpos="10" ypos="10" width="1024" height="768"/>

<route>
<service name="Nitpicker"> <child name="nitpicker"/> </service>
<any-service> <parent/> <any-child/> </any-service>
</route>
</start>

<start name="nit_fb2" priority="-1">
<binary name="nit_fb"/>
<resource name="RAM" quantum="8M" />
<provides>
<service name="Framebuffer" />
<service name="Input" />
</provides>
<config xpos="890" ypos="310" width="1024" height="768"/>
<route>
<service name="Nitpicker"> <child name="nitpicker"/> </service>
<any-service> <parent/> <any-child/> </any-service>
</route>
</start>

<start name="vbox2" priority="-2" caps="500">}

append_if [expr $use_gui] config "
<binary name=\"$virtualbox_binary\"/>"
append_if [expr $use_gui] config {
<resource name="RAM" quantum="448M"/>
<config ld_verbose="yes" vbox_file="test.vbox" vm_name="TestVM">
<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
<vfs>
<dir name="dev"> <log/> <rtc/> </dir>
<rom name="test.vbox" />
<rom name="test.iso" />
</vfs>
</config>
<route>
<service name="Nic"> <child name="nic_bridge"/> </service>
<service name="Report"> <child name="report_rom"/> </service>
<service name="Framebuffer"> <child name="nit_fb2" /> </service>
<service name="Input"> <child name="nit_fb2" /> </service>
<any-service> <parent /> <any-child /> </any-service>
</route>
</start>}

append config {
<start name="vbox1" priority="-2" caps="1500">}
append config "
<binary name=\"$virtualbox_binary\"/>"

append config {
<resource name="RAM" quantum="448M"/>
<config ld_verbose="yes" vbox_file="ubuntu16.vbox" vm_name="ubuntu_16_04_64">
<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
<vfs>
<dir name="dev"><log/> <rtc/></dir>}

append_if [expr $use_serial] config {
<dir name="dev"> <terminal/> </dir>}


append config {
<dir name="ram">  <fs label="from_ram_fs" /> </dir>
<rom name="ubuntu16.vbox" />
<rom name="overlay_ubuntu_16_04_64.vdi" />
<fs />
</vfs>
</config>
<route>}

append_if [expr $use_bridge] config {
<service name="Nic"> <child name="nic_bridge"/> </service>}



append_if [expr $use_gui] config {
<service name="File_system" label="from_ram_fs"> <child name="ram_fs"/> </service>
<service name="File_system"> <child name="rump_fs"/> </service>
<service name="Framebuffer"> <child name="nit_fb1" /> </service>
<service name="Input"> <child name="nit_fb1" /> </service>
<service name="Report"><child name="report_rom" /></service>
<any-service> <parent/> <any-child /> </any-service>
</route>
</start>
</config>
}

install_config $config

exec cp ${genode_dir}/repos/ports/run/test.vbox bin/.
exec cp ${genode_dir}/repos/ports/run/ubuntu16.vbox bin/.

set boot_modules { core ld.lib.so init timer test.iso test.vbox ubuntu16.vbox }

append boot_modules $virtualbox_binary

# platform-specific modules
lappend_if [expr         $use_usb] boot_modules usb_drv
lappend_if [expr         $use_ps2] boot_modules ps2_drv
lappend_if [have_spec framebuffer] boot_modules fb_drv
lappend_if [have_spec       linux] boot_modules fb_sdl
lappend_if [have_spec         x86] boot_modules rtc_drv

lappend_if [expr         $use_gui] boot_modules report_rom
lappend_if [expr         $use_gui] boot_modules nitpicker
lappend_if [expr         $use_gui] boot_modules nit_fb
lappend_if [expr         $use_gui] boot_modules vbox_pointer

append boot_modules {
ld.lib.so libc.lib.so libm.lib.so pthread.lib.so libc_pipe.lib.so
libc_terminal.lib.so libiconv.lib.so stdcxx.lib.so ahci_drv rump_fs
ram_fs part_blk fs_rom report_rom rump_fs.lib.so rump.lib.so
qemu-usb.lib.so virtualbox-rem
}

append_if [expr $use_net]          boot_modules { nic_drv }
append_if [expr $use_bridge]       boot_modules { nic_bridge }
append_if [expr $use_serial]       boot_modules { log_terminal }

append_platform_drv_boot_modules

build_boot_image $boot_modules

if {[have_include "power_on/qemu"]} {
if {[expr $use_gui]} {
append qemu_args " -m 2048 "
} else {
append qemu_args " -m 768 "
}

append qemu_args " -cpu core2duo "
if {[expr $use_usb]} {
append qemu_args " -usbdevice mouse -usbdevice keyboard"
}
}

run_genode_until forever

Serial output data:

NOVA Microhypervisor v7-190605f (x86_64): Oct 24 2017 12:24:04 [gcc 6.3.0] [MBI]

[ 0] TSC:3593299 kHz BUS:99813 kHz (measured)
[ 0] CORE:0:0:0 15:38:1:0 [0] AMD PRO A10-8750B R7, 12 Compute Cores 4C+8G
[ 1] CORE:0:1:0 15:38:1:0 [0] AMD PRO A10-8750B R7, 12 Compute Cores 4C+8G
[ 3] CORE:0:3:0 15:38:1:0 [0] AMD PRO A10-8750B R7, 12 Compute Cores 4C+8G
[ 2] CORE:0:2:0 15:38:1:0 [0] AMD PRO A10-8750B R7, 12 Compute Cores 4C+8G
Hypervisor features SVM
Hypervisor reports 4x1 CPUs
CPU ID (genode->kernel:package:core:thread) remapping
 remap (0->0:0:0:0) boot cpu
 remap (1->1:0:1:0)
 remap (2->2:0:2:0)
 remap (3->3:0:3:0)
Hypervisor info page contains 27 memory descriptors:
core     image  [0000000000100000,00000000034b0000)
binaries region [0000000000275000,00000000034b0000) free for reuse
detected physical memory: 0x0000000000000000 - size: 0x000000000009e800
use      physical memory: 0x0000000000000000 - size: 0x000000000009e000
detected physical memory: 0x0000000000100000 - size: 0x00000000ac722000
use      physical memory: 0x0000000000100000 - size: 0x00000000ac722000
detected physical memory: 0x00000000adb93000 - size: 0x0000000000001000
use      physical memory: 0x00000000adb93000 - size: 0x0000000000001000
detected physical memory: 0x00000000add9a000 - size: 0x0000000000156000
use      physical memory: 0x00000000add9a000 - size: 0x0000000000156000
detected physical memory: 0x00000000ae825000 - size: 0x000000000004b000
use      physical memory: 0x00000000ae825000 - size: 0x000000000004b000
detected physical memory: 0x00000000aeff1000 - size: 0x000000000000f000
use      physical memory: 0x00000000aeff1000 - size: 0x000000000000f000
detected physical memory: 0x0000000100000000 - size: 0x0000000040000000
use      physical memory: 0x0000000100000000 - size: 0x0000000040000000
:virt_alloc: Allocator 0x230d70 dump:
 Block: [0000000000002000,0000000000003000) size=4K avail=0 max_avail=0
 Block: [0000000000003000,0000000000004000) size=4K avail=0 max_avail=0
 Block: [0000000000004000,0000000000005000) size=4K avail=0 max_avail=0
 Block: [0000000000005000,0000000000006000) size=4K avail=0 max_avail=0
 Block: [0000000000006000,0000000000007000) size=4K avail=0 max_avail=0
 Block: [0000000000007000,0000000000008000) size=4K avail=0 max_avail=0
 Block: [0000000000008000,0000000000009000) size=4K avail=0 max_avail=0
 Block: [0000000000009000,000000000000a000) size=4K avail=0 max_avail=0
 Block: [000000000000a000,000000000000b000) size=4K avail=0 max_avail=0
 Block: [000000000000b000,000000000000c000) size=4K avail=0 max_avail=0
 Block: [000000000000c000,000000000000d000) size=4K avail=0 max_avail=0
 Block: [000000000000d000,000000000000e000) size=4K avail=0 max_avail=0
 Block: [000000000000e000,000000000000f000) size=4K avail=0 max_avail=0
 Block: [000000000000f000,0000000000010000) size=4K avail=0 max_avail=0
 Block: [0000000000010000,0000000000011000) size=4K avail=0 max_avail=0
 Block: [0000000000011000,0000000000012000) size=4K avail=0 max_avail=0
 Block: [0000000000012000,0000000000013000) size=4K avail=0 max_avail=0
 Block: [0000000000013000,0000000000014000) size=4K avail=0 max_avail=137434760164K
 Block: [0000000000014000,0000000000015000) size=4K avail=0 max_avail=0
 Block: [0000000000015000,0000000000016000) size=4K avail=0 max_avail=0
 Block: [0000000000016000,0000000000017000) size=4K avail=0 max_avail=0
 Block: [0000000000017000,0000000000018000) size=4K avail=0 max_avail=0
 Block: [0000000000018000,0000000000019000) size=4K avail=0 max_avail=0
 Block: [0000000000019000,000000000001a000) size=4K avail=0 max_avail=0
 Block: [000000000001a000,000000000001b000) size=4K avail=0 max_avail=0
 Block: [000000000001b000,000000000001c000) size=4K avail=0 max_avail=0
 Block: [000000000001c000,000000000001d000) size=4K avail=0 max_avail=137434760164K
 Block: [000000000001d000,000000000001e000) size=4K avail=0 max_avail=0
 Block: [000000000001e000,000000000001f000) size=4K avail=0 max_avail=0
 Block: [000000000001f000,0000000000020000) size=4K avail=0 max_avail=0
 Block: [0000000000020000,0000000000021000) size=4K avail=0 max_avail=0
 Block: [0000000000021000,0000000000022000) size=4K avail=0 max_avail=0
 Block: [0000000000022000,0000000000023000) size=4K avail=0 max_avail=868K
 Block: [0000000000023000,0000000000024000) size=4K avail=0 max_avail=0
 Block: [0000000000024000,0000000000025000) size=4K avail=0 max_avail=0
 Block: [0000000000025000,0000000000026000) size=4K avail=0 max_avail=868K
 Block: [0000000000026000,0000000000027000) size=4K avail=0 max_avail=0
 Block: [0000000000027000,0000000000100000) size=868K avail=868K max_avail=868K
 Block: [0000000000275000,0000000000276000) size=4K avail=0 max_avail=0
 Block: [0000000000276000,0000000000277000) size=4K avail=0 max_avail=137434760164K
 Block: [0000000000277000,0000000000278000) size=4K avail=0 max_avail=0
 Block: [0000000000278000,00000000a0000000) size=2618912K avail=2618912K max_avail=2618912K
 Block: [00000000b0000000,00000000bfeff000) size=261116K avail=261116K max_avail=137434760164K
 Block: [00000000bff04000,00007fffbfffd000) size=137434760164K avail=137434760164K max_avail=137434760164K
 => mem_size=140736144609280 (134216446 MB) / mem_avail=140736144445440 (134216446 MB)

:phys_alloc: Allocator 0x22fca0 dump:
 Block: [0000000000001000,0000000000010000) size=60K avail=60K max_avail=60K
 Block: [0000000000012000,000000000009e000) size=560K avail=560K max_avail=560K
 Block: [0000000000100000,0000000001000000) size=15M avail=15M max_avail=2720188K
 Block: [00000000067b2000,00000000067b3000) size=4K avail=0 max_avail=0
 Block: [00000000067b3000,00000000ac822000) size=2720188K avail=2720188K max_avail=2720188K
 Block: [00000000adb93000,00000000adb94000) size=4K avail=0 max_avail=2720188K
 Block: [00000000add9a000,00000000add9b000) size=4K avail=0 max_avail=0
 Block: [00000000add9b000,00000000add9c000) size=4K avail=0 max_avail=0
 Block: [00000000add9c000,00000000add9d000) size=4K avail=0 max_avail=0
 Block: [00000000add9d000,00000000add9e000) size=4K avail=0 max_avail=0
 Block: [00000000add9e000,00000000add9f000) size=4K avail=0 max_avail=0
 Block: [00000000add9f000,00000000adda0000) size=4K avail=0 max_avail=2720188K
 Block: [00000000adda0000,00000000adda1000) size=4K avail=0 max_avail=0
 Block: [00000000adda1000,00000000adda2000) size=4K avail=0 max_avail=0
 Block: [00000000adda2000,00000000adda3000) size=4K avail=0 max_avail=0
 Block: [00000000adda3000,00000000adda4000) size=4K avail=0 max_avail=0
 Block: [00000000adda4000,00000000adda5000) size=4K avail=0 max_avail=0
 Block: [00000000adda5000,00000000adda6000) size=4K avail=0 max_avail=0
 Block: [00000000adda6000,00000000adda7000) size=4K avail=0 max_avail=0
 Block: [00000000adda7000,00000000adda8000) size=4K avail=0 max_avail=0
 Block: [00000000adda8000,00000000adda9000) size=4K avail=0 max_avail=0
 Block: [00000000adda9000,00000000addaa000) size=4K avail=0 max_avail=0
 Block: [00000000addaa000,00000000addab000) size=4K avail=0 max_avail=0
 Block: [00000000addab000,00000000addac000) size=4K avail=0 max_avail=2720188K
 Block: [00000000addac000,00000000addad000) size=4K avail=0 max_avail=0
 Block: [00000000addad000,00000000addae000) size=4K avail=0 max_avail=0
 Block: [00000000addae000,00000000addaf000) size=4K avail=0 max_avail=0
 Block: [00000000addaf000,00000000addb0000) size=4K avail=0 max_avail=0
 Block: [00000000addb0000,00000000addb1000) size=4K avail=0 max_avail=0
 Block: [00000000addb1000,00000000addb2000) size=4K avail=0 max_avail=0
 Block: [00000000addb2000,00000000addb3000) size=4K avail=0 max_avail=0
 Block: [00000000addb3000,00000000addb4000) size=4K avail=0 max_avail=0
 Block: [00000000addb4000,00000000addb5000) size=4K avail=0 max_avail=0
 Block: [00000000addb5000,00000000addb6000) size=4K avail=0 max_avail=0
 Block: [00000000addb6000,00000000addb7000) size=4K avail=0 max_avail=0
 Block: [00000000addb7000,00000000addb8000) size=4K avail=0 max_avail=1G
 Block: [00000000addb8000,00000000addb9000) size=4K avail=0 max_avail=0
 Block: [00000000addb9000,00000000addba000) size=4K avail=0 max_avail=0
 Block: [00000000addba000,00000000addbb000) size=4K avail=0 max_avail=0
 Block: [00000000addbb000,00000000addbc000) size=4K avail=0 max_avail=0
 Block: [00000000addbc000,00000000addbd000) size=4K avail=0 max_avail=0
 Block: [00000000addbd000,00000000addbe000) size=4K avail=0 max_avail=1G
 Block: [00000000addbe000,00000000addbf000) size=4K avail=0 max_avail=0
 Block: [00000000addbf000,00000000addc0000) size=4K avail=0 max_avail=1212K
 Block: [00000000addc0000,00000000addc1000) size=4K avail=0 max_avail=0
 Block: [00000000addc1000,00000000adef0000) size=1212K avail=1212K max_avail=1212K
 Block: [00000000ae825000,00000000ae826000) size=4K avail=0 max_avail=1G
 Block: [00000000ae826000,00000000ae870000) size=296K avail=296K max_avail=296K
 Block: [00000000aeff1000,00000000af000000) size=60K avail=60K max_avail=1G
 Block: [0000000100000000,0000000140000000) size=1G avail=1G max_avail=1G
 => mem_size=3877355520 (3697 MB) / mem_avail=3877183488 (3697 MB)

:io_mem_alloc: Allocator 0x231e58 dump:
 Block: [0000000000000000,0000000000001000) size=4K avail=4K max_avail=4K
 Block: [000000000009e000,0000000000100000) size=392K avail=392K max_avail=392K
 Block: [00000000ac822000,00000000adb93000) size=19908K avail=19908K max_avail=19908K
 Block: [00000000adb94000,00000000add9a000) size=2072K avail=2072K max_avail=2072K
 Block: [00000000adef0000,00000000ae825000) size=9428K avail=9428K max_avail=18014398504239100K
 Block: [00000000ae870000,00000000aeff1000) size=7684K avail=7684K max_avail=7684K
 Block: [00000000af000000,0000000100000000) size=1296M avail=1296M max_avail=18014398504239100K
 Block: [0000000140000000,fffffffffffff000) size=18014398504239100K avail=18014398504239100K max_avail=18014398504239100K
 => mem_size=18446744069740228608 (17592186040630 MB) / mem_avail=18446744069740228608 (17592186040630 MB)

:rom_fs: ROM modules:
 ROM: [000000000466a000,0000000004687cb8) acpi_drv
 ROM: [00000000065ac000,00000000065efae8) ahci_drv
 ROM: [00000000063e3000,00000000063e580b) config
 ROM: [00000000063e6000,00000000064406d0) fb_drv
 ROM: [000000000516f000,000000000518f078) fs_rom
 ROM: [00000000addbf000,00000000addc0000) hypervisor_info_page
 ROM: [0000000006750000,000000000679fea0) init
 ROM: [0000000006233000,000000000630bfe8) ld.lib.so
 ROM: [0000000003fb7000,000000000415a950) libc.lib.so
 ROM: [0000000006747000,000000000674f290) libc_pipe.lib.so
 ROM: [00000000067a0000,00000000067b1000) libc_terminal.lib.so
 ROM: [000000000415b000,0000000004244408) libiconv.lib.so
 ROM: [0000000006205000,0000000006232fa8) libm.lib.so
 ROM: [0000000004688000,000000000469a750) log_terminal
 ROM: [0000000005109000,000000000513e268) nic_bridge
 ROM: [0000000006190000,00000000061e4370) nic_drv
 ROM: [00000000061e5000,0000000006204280) nit_fb
 ROM: [000000000630c000,000000000635a300) nitpicker
 ROM: [00000000065f0000,000000000661b608) part_blk
 ROM: [000000000638c000,00000000063e2ac8) platform_drv
 ROM: [00000000addbc000,00000000addbd000) platform_info
 ROM: [0000000004426000,00000000044475d8) ps2_drv
 ROM: [000000000441a000,0000000004425b20) pthread.lib.so
 ROM: [000000000513f000,000000000516ea70) qemu-usb.lib.so
 ROM: [0000000006582000,00000000065ab010) ram_fs
 ROM: [0000000004448000,0000000004466f90) report_rom
 ROM: [0000000006377000,000000000638bf30) rtc_drv
 ROM: [0000000004467000,0000000004639918) rump.lib.so
 ROM: [000000000463a000,0000000004669f30) rump_fs
 ROM: [000000000661c000,0000000006745d18) rump_fs.lib.so
 ROM: [0000000004245000,00000000043f8b40) stdcxx.lib.so
 ROM: [0000000005190000,0000000006190000) test.iso
 ROM: [0000000006746000,0000000006746fb1) test.vbox
 ROM: [000000000635c000,0000000006376db8) timer
 ROM: [000000000635b000,000000000635bf53) ubuntu16.vbox
 ROM: [0000000006441000,0000000006581550) usb_drv
 ROM: [00000000043f9000,0000000004419800) vbox_pointer
 ROM: [000000000469b000,0000000005108298) virtualbox-nova
 ROM: [0000000003576000,0000000003fb6278) virtualbox-rem

Genode 17.08-112-gee4ee6a <local changes>
3697 MiB RAM and 63254 caps assigned to init
[init] child "timer" announces service "Timer"
[init] child "report_rom" announces service "Report"
[init] child "report_rom" announces service "ROM"
[init] child "log_terminal" announces service "Terminal"
[init -> nic_drv] --- iPXE NIC driver started ---
[init] child "acpi_report_rom" announces service "Report"
[init -> rump_fs]   0xa0000000 .. 0xafffffff: stack area
[init -> ahci_drv] --- Starting AHCI driver ---
[init -> nic_drv] -- init iPXE NIC
[init] child "acpi_report_rom" announces service "ROM"
[init -> rump_fs]   0x30000 .. 0x13bfff: ld.lib.so
[init -> rump_fs]   0x1033000 .. 0x1202fff: rump.lib.so
[init -> acpi_drv] Found MADT
[init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0
[init -> rump_fs]   0x1203000 .. 0x1329fff: rump_fs.lib.so
[init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: 15
[init -> acpi_drv] Found MCFG
[init -> acpi_drv] MCFG BASE 0xe0000000 seg 0x0 bus 0x0-0xff
[init] child "platform_drv" announces service "Platform"
Warning: PD (init -> usb_drv) RAM limit (used=4884K, limit=6005765) exceeded during transfer_quota(2M)
[init] Warning: usb_drv: RAM upgrade of Platform failed
[init -> ps2_drv] Using keyboard with scan code set 1 (xlate)
[init -> usb_drv] resource_request: ram_quota=2M, cap_quota=0
[init] child "usb_drv" requests resources: ram_quota=2M, cap_quota=0
[init -> ps2_drv] Warning: could not reset mouse (missing ack)
[init -> fb_drv] Found PCI VGA at 00:01.0
[init -> fb_drv] fb mapped to 0x1000
[init] child "fb_drv" announces service "Framebuffer"
[init -> nic_drv] Found: 03:00.0 10ec:8168 (rev 0e) IRQ 0b
[init -> nic_drv] using driver rtl8168
[init -> nic_drv] PCI BIOS has not enabled device 03:00.0! Updating PCI command 0003->0007
[init -> nic_drv]
[ 0] sys_assign_pci: Invalid Hint (0x300)
[init -> platform_drv] Error: nic_drv -> : assignment of PCI device 3:0.0 failed phys=0xe0300000 virt=0x1000
[init -> ps2_drv] Error: failed to read from port
[init -> nic_drv] PCI device 03:00.0 latency timer is unreasonably low at 0. Setting to 32.
[init -> ahci_drv] AHCI found (vendor: 4130 device: 30721 class: 67073)
[init -> ps2_drv] Warning: could not reset mouse (unexpected response)
[init -> nic_drv]
[init -> nic_drv] bus_addr = fea18000 len = 100
[ 0] sys_assign_pci: Invalid Hint (0x88)
[init -> platform_drv] Error: ahci_drv -> : assignment of PCI device 0:11.0 failed phys=0xe0088000 virt=0x1000
[init -> platform_drv] 0:11.0 adjust IRQ as reported by ACPI: 10 -> 19
[init -> platform_drv] 0:11.0 uses MSI 64bit, vector 0x9f, address 0xfee10000, non-maskable
[init -> ahci_drv] version: major=0x1 minor=0x300
[init -> nic_drv] snprintf not implemented
[init -> platform_drv] 3:0.0 adjust IRQ as reported by ACPI: 11 -> 18
[init -> ahci_drv] command slots: 32
[init -> ahci_drv] native command queuing: yes
[init -> platform_drv] 3:0.0 uses MSI 64bit, vector 0x9e, address 0xfee10000, non-maskable
[init -> ahci_drv] 64-bit support: yes
[init -> ahci_drv] number of ports: 6 pi: 0x3f
[init] child "nic_drv" announces service "Nic"
[init -> ps2_drv] Error: failed to read from port
[init -> nic_drv] MAC address f4:4d:30:b9:16:f5
[init -> nic_bridge] --- NIC bridge started (mac=f4:4d:30:b9:16:f5) ---
[init] child "nic_bridge" announces service "Nic"
[init -> ps2_drv] Warning: could not enable stream
[init -> fb_drv] Found: VESA BIOS version 3.0
[init -> ahci_drv]              #0: ATA
[init -> ahci_drv]              #1: off (unknown device signature)
[init -> fb_drv] OEM: AMD ATOMBIOS
[init -> ahci_drv]              #2: off (unknown device signature)
[init -> ahci_drv]              #3: off (unknown device signature)
[init -> ahci_drv]              #4: off (unknown device signature)
[init -> ahci_drv]              #5: off (unknown device signature)
[init -> platform_drv] PS2 uses IRQ, vector 0x1
[init -> platform_drv] PS2 uses IRQ, vector 0xc
[init] child "ps2_drv" announces service "Input"
[init -> fb_drv] Found: physical frame buffer at 0xc0000000 size: 16777216
[init -> fb_drv] fb mapped to 0xb000000
[init -> fb_drv] using video mode: 1920x1080@...64...
[init] child "nitpicker" announces service "Nitpicker"
[init] child "nit_fb1" announces service "Framebuffer"
[init] child "nit_fb2" announces service "Framebuffer"
[init] child "nit_fb1" announces service "Input"
[init -> nit_fb1] using xywh=(10,10,1024,768)
[init] child "nit_fb2" announces service "Input"
[init -> nit_fb2] using xywh=(890,890,1024,768)
[init] child "rtc_drv" announces service "Rtc"
[init -> vbox1]   0xa0000000 .. 0xafffffff: stack area
[init -> vbox1]   0x30000 .. 0x13bfff: ld.lib.so
[init -> vbox1]   0x1ae4000 .. 0x1c96fff: libc.lib.so
[init -> vbox2]   0xa0000000 .. 0xafffffff: stack area
[init -> vbox1]   0x1c97000 .. 0x1c9ffff: libc_pipe.lib.so
[init -> vbox1]   0x1ca0000 .. 0x1caffff: libc_terminal.lib.so
[init -> vbox2]   0x30000 .. 0x13bfff: ld.lib.so
[init -> vbox2]   0x1ae4000 .. 0x1c96fff: libc.lib.so
[init -> vbox1]   0x1cb0000 .. 0x1d97fff: libiconv.lib.so
[init -> vbox2]   0x1c97000 .. 0x1c9ffff: libc_pipe.lib.so
[init -> vbox2]   0x1ca0000 .. 0x1caffff: libc_terminal.lib.so
[init -> vbox1]   0x1d98000 .. 0x1dc1fff: libm.lib.so
[init -> vbox1]   0x1dc2000 .. 0x1dcdfff: pthread.lib.so
[init -> vbox2]   0x1cb0000 .. 0x1d97fff: libiconv.lib.so
[init -> vbox1]   0x1dce000 .. 0x1e10fff: qemu-usb.lib.so
[init -> vbox1]   0x1e11000 .. 0x1fc6fff: stdcxx.lib.so
[init -> vbox2]   0x1d98000 .. 0x1dc1fff: libm.lib.so
[init -> vbox2]   0x1dc2000 .. 0x1dcdfff: pthread.lib.so
[init -> vbox2]   0x1dce000 .. 0x1e10fff: qemu-usb.lib.so
[init -> vbox2]   0x1e11000 .. 0x1fc6fff: stdcxx.lib.so
[init -> vbox2] using the pipe libc plugin
[init -> vbox2] Warning: issetugid called, not yet implemented, returning 1
[init -> vbox2] Warning: issetugid called, not yet implemented, returning 1
[init -> vbox2] Error: fcntl(): command 2 not supported
[init -> vbox2] Log created: 2017-10-26T20:29:00.000000000Z
[init -> vbox2] main     Executable: /virtualbox
[init -> vbox2] Error: SystemProperties : Cannot determine default Guest Additions ISO location. Most likely they are not available
[init -> vbox2] Warning: _fpathconf: _fpathconf not implemented
[init -> vbox2] Warning: statfs provides bogus values for '//test.iso' (probably a shared folder)
[init -> vbox2] Warning: fcntl(): command 4 args 4 not supported - terminal
[init -> vbox2] Warning: _sigaction: _sigaction not implemented
[init -> vbox2] Using SVM virtualization extension.
[init -> vbox2] Error: fireRuntimeErrorEvent : 0 DrvHostSerialFail Ioctl failed for serial host device '/dev/terminal' (VERR_NOT_SUPPORTED). The device will not work properly
[init -> vbox2] fb resize : 1024x768@...356..... -> 720x400@...361...
[init -> vbox2] fb resize : 720x400@...64... -> 640x480@...362...
[init -> vbox2] fb resize : 640x480@...64... -> 720x400@...361...
[init -> vbox2] fb resize : 720x400@...64... -> 1024x768@...362...





--


Thank You,

Chris Rothrock
Senior System Administrator
(315) 308-1637