Virtual machines from .vdi images
Chris Rothrock
cgrothrock at ...9...
Tue Oct 31 15:56:19 CET 2017
Here's the output from the ahci_bench (I left out the ROM header info to
shorten the list). It seems it's giving the same error trying to enumerate
the AHCI controller on the PCI bus even though it sees the controller and
the devices, the service isn't being advertised. This is an AMD platform
and, for reasons too long to go into, I need to be able to make this work
with an AMD processor. Where can I go from here to push forward on this
effort to get the AHCI controller properly enumerated?
Genode 17.08-112-gee4ee6a <local changes>
3745 MiB RAM and 63254 caps assigned to init
[init -> ahci_drv] --- Starting AHCI driver ---
[init] child "acpi_report_rom" announces service "Report"
[init] child "timer" announces service "Timer"
[init] child "acpi_report_rom" announces service "ROM"
[init -> acpi_drv] Found MADT
[init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0
[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"
[init -> ahci_drv] AHCI found (vendor: 4130 device: 30721 class: 67073)
[ 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 -> ahci_drv] command slots: 32
[init -> ahci_drv] native command queuing: yes
[init -> ahci_drv] 64-bit support: yes
[init -> ahci_drv] number of ports: 6 pi: 0x3f
[init -> ahci_drv] #0: ATA
[init -> ahci_drv] #1: off (unknown device signature)
[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)
On Fri, Oct 27, 2017 at 12:25 PM, Nobody III <hungryninja101 at ...9...>
wrote:
> 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 at ...1...> 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-ser
>> vice>
>> > </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-ser
>> vice>
>> > </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 at ...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 at ...64... -> 720x400 at ...361...
>> > [init -> vbox2] fb resize : 720x400 at ...64... -> 640x480 at ...362...
>> > [init -> vbox2] fb resize : 640x480 at ...64... -> 720x400 at ...361...
>> > [init -> vbox2] fb resize : 720x400 at ...64... -> 1024x768 at ...362...
>> >
>> >
>> >
>> >
>> >
>> >
>> >
>> > ------------------------------------------------------------
>> ------------------
>> > 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 at lists.sourceforge.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 at lists.sourceforge.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 at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>
>
--
Thank You,
Chris Rothrock
Senior System Administrator
(315) 308-1637
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20171031/c8dde9c7/attachment.html>
More information about the users
mailing list