I know I've had problems with the ahci driver in the past on AMD hardware, so your problem may be a hardware compatibility issue. I would definitely recommend checking whether the driver works using a scenario that works in qemu.

As for ahci_bench, I have verified that it performs read-only tests by default, so it should be safe to run on real hardware.

On Fri, Oct 27, 2017 at 1:36 AM, Alexander Boettcher <alexander.boettcher@...495...labs.com> wrote:

Hello,

first - great detailed report !

After looking through the serial output, the ahci driver does not
announce its service. So the line

[init] child "ahci_drv" announces service "Block"

is missing. Because of that part_blk waits for ahci_drv, rump_fs is
waiting for part_blk and vbox2 waits for rump_fs.

I would suggest first to make sure that the ahci_drv is working on your
machine by using some simpler run script like ahci_bench.run.

If it does not work for you, you will have to instrument the ahci driver
to see where it gets stuck.

Cheers,

Alex.

On 26.10.2017 23:21, Chris Rothrock wrote:
> 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@...64... -> 720x400@...528.....
> [init -> vbox2] fb resize : 720x400@...64... -> 640x480@...529....
> [init -> vbox2] fb resize : 640x480@...64... -> 720x400@...530....
> [init -> vbox2] fb resize : 720x400@...64... -> 1024x768@...531.....
>
>
>
>
>
>
>

> ------------------------------------------------------------------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
>
>
>
> _______________________________________________
> genode-main mailing list
> genode-main@...172...net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>

--
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

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
genode-main mailing list
genode-main@...172...net
https://lists.sourceforge.net/lists/listinfo/genode-main

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
genode-main mailing list
genode-main@...172...net
https://lists.sourceforge.net/lists/listinfo/genode-main