Bender: Hello World. Need 018a9000 bytes to relocate modules. Relocating to 7e757000: Copying 25704288 bytes... Copying 148184 bytes... NOVA Microhypervisor v7-b18f4bf (x86_64): Apr 25 2017 11:51:39 [gcc 4.9.2] [ 0] TSC:2294813 kHz BUS:0 kHz [ 0] CORE:0:0:0 6:3d:4:6 [21] Intel(R) Core(TM) i5-5300U CPU @ 2.30GHz [ 1] CORE:0:0:1 6:3d:4:6 [21] Intel(R) Core(TM) i5-5300U CPU @ 2.30GHz [ 3] CORE:0:1:1 6:3d:4:6 [21] Intel(R) Core(TM) i5-5300U CPU @ 2.30GHz [ 2] CORE:0:1:0 6:3d:4:6 [21] Intel(R) Core(TM) i5-5300U CPU @ 2.30GHz [ 0] disabling super pages for DMAR Hypervisor features VMX Hypervisor reports 4x1 CPUs CPU ID (genode->kernel:package:core:thread) remapping remap (0->0:0:0:0) boot cpu remap (1->2:0:1:0) remap (2->1:0:0:1) remap (3->3:0:1:1) Hypervisor info page contains 25 memory descriptors: core image [0000000000100000,0000000001983000) binaries region [000000000020e000,0000000001983000) free for reuse detected physical memory: 0x0000000000000000 - size: 0x000000000009d000 use physical memory: 0x0000000000000000 - size: 0x000000000009d000 detected physical memory: 0x0000000000100000 - size: 0x000000000ff00000 use physical memory: 0x0000000000100000 - size: 0x000000000ff00000 detected physical memory: 0x000000001000b000 - size: 0x00000000b05b7000 use physical memory: 0x000000001000b000 - size: 0x00000000b05b7000 detected physical memory: 0x0000000100000000 - size: 0x000000012e000000 use physical memory: 0x0000000100000000 - size: 0x000000012e000000 :virt_alloc: Allocator 0x1d69b0 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=872K Block: [0000000000023000,0000000000024000) size=4K avail=0 max_avail=0 Block: [0000000000024000,0000000000025000) size=4K avail=0 max_avail=872K Block: [0000000000025000,0000000000026000) size=4K avail=0 max_avail=0 Block: [0000000000026000,0000000000100000) size=872K avail=872K max_avail=872K Block: [000000000020e000,000000000020f000) size=4K avail=0 max_avail=0 Block: [000000000020f000,0000000000210000) size=4K avail=0 max_avail=137434760164K Block: [0000000000210000,0000000000211000) size=4K avail=0 max_avail=0 Block: [0000000000211000,00000000a0000000) size=2619324K avail=2619324K max_avail=2619324K Block: [00000000b0000000,00000000bfeff000) size=261116K avail=261116K max_avail=137434760164K Block: [00000000bff04000,00007fffbfffd000) size=137434760164K avail=137434760164K max_avail=137434760164K => mem_size=140736145031168 (134216446 MB) / mem_avail=140736144871424 (134216446 MB) :phys_alloc: Allocator 0x1d58e0 dump: Block: [0000000000001000,0000000000002000) size=4K avail=0 max_avail=0 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=4832M Block: [0000000000012000,0000000000013000) size=4K avail=0 max_avail=0 Block: [0000000000013000,0000000000014000) size=4K avail=0 max_avail=0 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=0 Block: [000000000001d000,000000000001e000) size=4K avail=0 max_avail=484K 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=484K Block: [0000000000021000,0000000000022000) size=4K avail=0 max_avail=0 Block: [0000000000022000,0000000000023000) size=4K avail=0 max_avail=484K Block: [0000000000023000,0000000000024000) size=4K avail=0 max_avail=0 Block: [0000000000024000,000000000009d000) size=484K avail=484K max_avail=484K Block: [0000000000100000,0000000000101000) size=4K avail=0 max_avail=0 Block: [0000000000101000,0000000000102000) size=4K avail=0 max_avail=4832M Block: [0000000000102000,0000000000103000) size=4K avail=0 max_avail=0 Block: [0000000000103000,0000000000400000) size=3060K avail=3060K max_avail=3060K Block: [0000000002800000,0000000002801000) size=4K avail=0 max_avail=4832M Block: [0000000002801000,0000000010000000) size=221180K avail=221180K max_avail=221180K Block: [000000001000b000,000000001000c000) size=4K avail=0 max_avail=4832M Block: [000000001000c000,000000007e77c000) size=1809856K avail=1809856K max_avail=1809856K Block: [0000000080001000,00000000c05c2000) size=1054468K avail=1054468K max_avail=4832M Block: [0000000100000000,000000022e000000) size=4832M avail=4832M max_avail=4832M => mem_size=8230068224 (7848 MB) / mem_avail=8229904384 (7848 MB) :io_mem_alloc: Allocator 0x1d7a98 dump: Block: [0000000000000000,0000000000001000) size=4K avail=4K max_avail=4K Block: [000000000009d000,0000000000100000) size=396K avail=396K max_avail=396K Block: [0000000010000000,000000001000b000) size=44K avail=44K max_avail=18014398500339708K Block: [00000000c05c2000,0000000100000000) size=1042680K avail=1042680K max_avail=18014398500339708K Block: [000000022e000000,fffffffffffff000) size=18014398500339708K avail=18014398500339708K max_avail=18014398500339708K => mem_size=18446744065416019968 (17592186036506 MB) / mem_avail=18446744065416019968 (17592186036506 MB) :rom_fs: ROM modules: ROM: [000000007ff5f000,000000007ff71d90) acpi_drv ROM: [000000007ea1d000,000000007ea47c30) ahci_drv ROM: [000000007e8d7000,000000007e927e50) audio_drv ROM: [000000007fffc000,000000007ffff475) config ROM: [000000007ff89000,000000007fffa648) device_pd ROM: [000000007e9a9000,000000007e9bd170) dynamic_rom ROM: [000000007fed6000,000000007ff166f0) fb_drv ROM: [000000007ea48000,000000007ea5ed98) fs_rom ROM: [0000000000022000,0000000000023000) hypervisor_info_page ROM: [000000007e9be000,000000007e9ed8e0) init ROM: [000000007e88b000,000000007e89c650) input_merger ROM: [000000007ea5f000,000000007eafe1b8) ld.lib.so ROM: [000000007eaff000,000000007ec34320) libc.lib.so ROM: [000000007ec68000,000000007ec6f0b8) libc_pipe.lib.so ROM: [000000007ec70000,000000007ec80038) libc_terminal.lib.so ROM: [000000007ec81000,000000007ed681f8) libiconv.lib.so ROM: [000000007ec35000,000000007ec5d600) libm.lib.so ROM: [000000007e89d000,000000007e8d65a0) nic_drv ROM: [000000007e97a000,000000007e991218) nit_fb ROM: [000000007e928000,000000007e9619c8) nitpicker ROM: [000000007ea02000,000000007ea1cb98) part_blk ROM: [000000007ff28000,000000007ff5e218) platform_drv ROM: [000000007fdbc000,000000007fdd44c0) ps2_drv ROM: [000000007ec5e000,000000007ec67748) pthread.lib.so ROM: [000000007ee48000,000000007ee6b9f0) qemu-usb.lib.so ROM: [000000007fda0000,000000007fdbb098) ram_fs ROM: [000000007ff72000,000000007ff88270) report_rom ROM: [000000007e992000,000000007e9a8270) report_rom ROM: [000000007ff17000,000000007ff27b90) rtc_drv ROM: [000000007ee6c000,000000007f03a3f0) rump.lib.so ROM: [000000007f167000,000000007f188398) rump_fs ROM: [000000007f03b000,000000007f166d78) rump_fs.lib.so ROM: [000000007ed69000,000000007ee47d40) stdcxx.lib.so ROM: [000000007e9ee000,000000007ea01930) timer ROM: [000000007fdd5000,000000007febc4a8) usb_drv ROM: [000000007febd000,000000007fed5f90) usb_report_filter ROM: [000000007e962000,000000007e9793c0) vbox_pointer ROM: [000000007f189000,000000007fd9f810) virtualbox5-nova ROM: [000000007fffb000,000000007fffbf66) vm_win10.vbox Genode 17.02-127-gf6386c6 7848 MiB RAM assigned to init [init] parent provides [init] service "ROM" [init] service "RAM" [init] service "IRQ" [init] service "IO_MEM" [init] service "IO_PORT" [init] service "PD" [init] service "RM" [init] service "CPU" [init] service "LOG" [init] child "timer" [init] RAM quota: 776K [init] ELF binary: timer [init] priority: 0 [init] provides service Timer [init] child "ahci_drv" [init] RAM quota: 9992K [init] ELF binary: ahci_drv [init] priority: 1 [init] provides service Block [init] child "part_blk" [init] RAM quota: 9992K [init] ELF binary: part_blk [init] priority: 1 [init] provides service Block [init] child "rump_fs" [init] RAM quota: 32520K [init] ELF binary: rump_fs [init] priority: 1 [init] provides service File_system [init] child "acpi_drv" [init] RAM quota: 2824K [init] ELF binary: acpi_drv [init] priority: 1 [init] child "acpi_report_rom" [init] RAM quota: 1800K [init] ELF binary: report_rom [init] priority: 1 [init] provides service ROM [init] provides service Report [init] child "platform_drv" [init] RAM quota: 3848K [init] ELF binary: platform_drv [init] priority: 1 [init] provides service Platform [init] provides service Acpi [init] child "ps2_drv" [init] RAM quota: 776K [init] ELF binary: ps2_drv [init] priority: 1 [init] provides service Input [init] child "usb_config_fs" [init] RAM quota: 776K [init] ELF binary: ram_fs [init] priority: 1 [init] provides service File_system [init] child "usb_config_rom" [init] RAM quota: 952K [init] ELF binary: fs_rom [init] priority: 1 [init] provides service ROM [init] child "usb_report_filter" [init] RAM quota: 952K [init] ELF binary: usb_report_filter [init] priority: 1 [init] child "usb_drv" [init] RAM quota: 16136K [init] ELF binary: usb_drv [init] priority: 1 [init] provides service Input [init] provides service Usb [init] child "fb_drv" [init] RAM quota: 7944K [init] ELF binary: fb_drv [init] priority: 1 [init] provides service Framebuffer [init] child "rtc_drv" [init] RAM quota: 776K [init] ELF binary: rtc_drv [init] priority: 1 [init] provides service Rtc [init] child "input_merger" [init] RAM quota: 776K [init] ELF binary: input_merger [init] priority: 0 [init] provides service Input [init] child "nic_drv" [init] RAM quota: 7944K [init] ELF binary: nic_drv [init] priority: 1 [init] provides service Nic [init] child "audio_drv" [init] RAM quota: 8968K [init] ELF binary: audio_drv [init] priority: 1 [init] provides service Audio_out [init] provides service Audio_in [init] child "report_rom" [init] RAM quota: 1800K [init] ELF binary: report_rom [init] priority: 0 [init] provides service Report [init] provides service ROM [init] child "nitpicker" [init] RAM quota: 40712K [init] ELF binary: nitpicker [init] priority: 1 [init] provides service Nitpicker [init] child "vbox_pointer" [init] RAM quota: 1800K [init] ELF binary: vbox_pointer [init] priority: 1 [init] child "launcher" [init] RAM quota: 1535752K [init] ELF binary: init [init] priority: 0 [init] child "report_rom" announces service "Report" [init] child "report_rom" announces service "ROM" [init] child "timer" announces service "Timer" [init -> launcher] Warning: nit_fb-config: invalid priority, upgrading from -1 to 0 [init -> launcher] Warning: nit_fb1: invalid priority, upgrading from -1 to 0 [init -> launcher] Warning: vbox1: invalid priority, upgrading from -2 to 0 [init -> launcher] child "nit_fb-config" announces service "ROM" Warning: insufficient ram quota for ROM session, provided=3877, required=4096 [init -> audio_drv] --- probe drivers --- [init -> nic_drv] --- iPXE NIC driver started --- [init -> nic_drv] -- init iPXE NIC [init] child "usb_config_fs" announces service "File_system" [init] child "acpi_report_rom" announces service "Report" [init] child "acpi_report_rom" announces service "ROM" [init -> rump_fs] 0xa0000000 .. 0xafffffff: stack area [init -> rump_fs] 0x30000 .. 0x102fff: ld.lib.so [init -> ahci_drv] --- Starting AHCI driver --- [init] child "usb_config_rom" announces service "ROM" [init -> rump_fs] 0x1024000 .. 0x11eefff: rump.lib.so [init -> rump_fs] 0x11ef000 .. 0x1317fff: rump_fs.lib.so [init -> usb_config_rom] request for usb_drv -> usb_drv.config [init -> usb_config_rom] request for usb_report_filter -> usb_report_filter.config [init -> usb_config_rom] request for usb_report_filter -> usb_report_filter.config [init -> usb_config_rom] request for usb_drv -> usb_drv.config [init -> acpi_drv] Found MADT [init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0 [init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: 13 [init -> acpi_drv] Found MCFG [init -> acpi_drv] MCFG BASE 0xf8000000 seg 0x0 bus 0x0-0x3f [init -> acpi_drv] Found DMAR [init -> acpi_drv] 39 bit DMA physical addressable , IRQ remapping supported [init -> acpi_drv] DMA remapping structure type=0 [init -> acpi_drv] DMA remapping structure type=0 [init -> acpi_drv] DMA remapping structure type=1 [init -> acpi_drv] DMA remapping structure type=1 [init] child "platform_drv" announces service "Platform" [init -> audio_drv] Warning: ignore 0:3:0not supported HDMI/DP HDA device [init -> audio_drv] azalia0 at pci0 [init -> platform_drv -> audio_drv -> ] assignment of PCI device 0:1b.0 succeeded [init -> platform_drv] Warning: 0:1b.0 write access to address=0x4 value=0x100206 size=0x2 got dropped [init -> platform_drv] 0:1b.0 adjust IRQ as reported by ACPI: 10 -> 22 [init -> platform_drv] 0:1b.0 uses MSI 64bit, vector 0x7f, address 0xfee00018, non-maskable [init -> usb_drv] Could not read screen resolution in config node [init -> usb_drv] Configured HID screen with 0x0 (multitouch=false) [init -> usb_drv] No config node found - not starting the USB Storage (Block) service [init -> usb_drv] No config node found - not starting the USB Nic (Network) service [init -> ps2_drv] Using keyboard with scan code set 1 (xlate) [init -> audio_drv] : [init -> fb_drv] Found PCI VGA at 00:02.0 [init -> fb_drv] fb mapped to 0x4000 [init] child "fb_drv" announces service "Framebuffer" [init -> usb_drv] Enabled UHCI (USB 1.0/1.1) support [init -> usb_drv] Enabled EHCI (USB 2.0) support [init -> usb_drv] Enabled XHCI (USB 3.0) support [init] child "usb_drv" announces service "Input" [init] child "usb_drv" announces service "Usb" [init -> nic_drv] Found: 00:19.0 8086:15a2 (rev 03) IRQ 0b [init -> nic_drv] using driver i218lm-3 [init -> nic_drv] PCI BIOS has not enabled device 00:19.0! Updating PCI command 0003->0007 [init -> nic_drv] [init -> platform_drv -> nic_drv -> ] assignment of PCI device 0:19.0 succeeded [init -> nic_drv] PCI device 00:19.0 latency timer is unreasonably low at 0. Setting to 32. [init -> nic_drv] [init -> nic_drv] bus_addr = f1200000 len = 20000 [init -> ahci_drv] AHCI found (vendor: 32902 device: 40067 class: 67073) [init -> platform_drv] PS2 uses IRQ, vector 0x1 [init -> platform_drv] PS2 uses IRQ, vector 0xc [init] child "ps2_drv" announces service "Input" [init -> platform_drv -> usb_drv -> ] assignment of PCI device 0:14.0 succeeded [init -> usb_drv] ioremap: mapped phys 0xf1220000 (size 65536) to virt 0x20000 [init -> usb_drv] ioremap: return sub range phys 0xf1220000 (size 65536) to virt 0x20000 [init -> fb_drv] Found: VESA BIOS version 3.0 [init -> usb_drv] dev_info: xHCI Host Controller [init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1 [init -> fb_drv] OEM: Intel(R) HSW Mobile/Desktop Graphics Chipset Accelerated VGA BIOS [init -> platform_drv -> ahci_drv -> ] assignment of PCI device 0:1f.2 succeeded [init -> platform_drv] 0:1f.2 adjust IRQ as reported by ACPI: 6 -> 19 [init -> usb_drv] dev_info: hcc params 0x200077c1 hci version 0x100 quirks 0x00009810 [init -> platform_drv] 0:1f.2 uses MSI 32bit, vector 0x7e, address 0xfee00018, non-maskable [init -> platform_drv] 0:14.0 adjust IRQ as reported by ACPI: 11 -> 16 [init -> platform_drv] 0:14.0 uses MSI 64bit, vector 0x7d, address 0xfee00018, non-maskable [init -> usb_drv] dev_info: USB hub found [init -> usb_drv] dev_info: 11 ports detected [init -> ahci_drv] version: major=0x1 minor=0x300 [init -> ahci_drv] command slots: 32 [init -> usb_drv] dev_info: xHCI Host Controller [init -> usb_drv] dev_info: new USB bus registered, assigned bus number 2 [init -> usb_drv] dev_info: USB hub found [init -> usb_drv] dev_info: 4 ports detected [init -> platform_drv -> usb_drv -> ] assignment of PCI device 0:1d.0 succeeded [init -> platform_drv -> usb_drv -> ] Error: region conflict [init -> platform_drv -> usb_drv -> ] Error: attachment of DMA memory @ 0xcc4ed000+0x17000 failed [init -> nic_drv] snprintf not implemented [init -> platform_drv] 0:19.0 adjust IRQ as reported by ACPI: 11 -> 20 [init -> platform_drv] 0:19.0 uses MSI 64bit, vector 0x7c, address 0xfee00018, non-maskable [init] child "nic_drv" announces service "Nic" [init -> usb_drv] ioremap: mapped phys 0xf123d000 (size 1024) to virt 0x17000 [init -> usb_drv] ioremap: return sub range phys 0xf123d000 (size 1024) to virt 0x17000 [init -> ahci_drv] native command queuing: yes [init -> ahci_drv] 64-bit support: yes [init -> ahci_drv] number of ports: 3 pi: 0x1 [init -> ahci_drv] Warning: CMD.ST bit set during device reset --> unknown behavior [init -> usb_drv] dev_info: EHCI Host Controller [init -> usb_drv] dev_info: new USB bus registered, assigned bus number 3 [init -> usb_drv] dev_warn: Enabling legacy PCI PM [init -> platform_drv] 0:1d.0 adjust IRQ as reported by ACPI: 7 -> 23 [init -> platform_drv] 0:1d.0 uses IRQ, vector 0x17, non-maskable [init -> usb_drv] dev_info: irq 130, io mem 0xf123d000 [ 0] DMAR:0xffffffff81036078 FRR:0 FR:0x5 BDF:0:1f:2 FI:0xcbc27000 [init -> usb_drv] dev_info: USB 2.0 started, EHCI 1.00 [init -> usb_drv] dev_info: USB hub found [init -> usb_drv] dev_info: 3 ports detected [init -> ahci_drv] #0: ATA [init] child "ahci_drv" announces service "Block" [init -> ahci_drv] session opened at device 0 for 'part_blk -> ' [init -> part_blk] Partition 1: LBA 2048 (461051904 blocks) type: 83 [init -> part_blk] Partition 2: LBA 461053952 (39063552 blocks) type: 83 [init] child "part_blk" announces service "Block" [init -> part_blk] session opened at partition 1 for 'rump_fs -> ' [init -> rump_fs] Using ext2fs as file system [init -> rump_fs] RUMP ver: 17 [init -> rump_fs] RUMP_THREADS [init -> rump_fs] RUMP_VERBOSE [init -> rump_fs] _RUMPUSER_NCPU [init -> rump_fs] RUMP_MEMLIMIT [init -> rump_fs] asserting rump kernel 27474 KB of RAM [init -> usb_drv] dev_info: new high-speed USB device number 2 using ehci-pci [init] child "input_merger" announces service "Input" Warning: Quota exceeded! amount=23845, size=4096, consumed=20480 [init -> rump_fs] 0x1024000 .. 0x11eefff: rump.lib.so [init -> rump_fs] 0x11ef000 .. 0x1317fff: rump_fs.lib.so [init -> rump_fs] 0x11ef000 .. 0x1317fff: rump_fs.lib.so [init -> rump_fs] 0x1024000 .. 0x11eefff: rump.lib.so [init -> rump_fs] 0x11ef000 .. 0x1317fff: rump_fs.lib.so [init -> rump_fs] BOOTSTRAP [init -> rump_fs] RUMP_NVNODES [init -> rump_fs] RUMP_BLKFAIL [init -> rump_fs] RUMP_BLKSECTSHIFT Warning: Quota exceeded! amount=32037, size=4096, consumed=28672 [init -> rump_fs] RUMP_MODULEBASE Warning: Quota exceeded! amount=40229, size=4096, consumed=36864 [init -> rump_fs] _RUMPUSER_HOSTNAME [init -> fb_drv] Found: physical frame buffer at 0xe0000000 size: 33488896 [init -> fb_drv] fb mapped to 0xb000000 [init -> usb_drv] dev_info: USB hub found [init -> fb_drv] using video mode: 1920x1080@...64... [init -> fb_drv] using buffered output [init] child "nitpicker" announces service "Nitpicker" [init -> usb_drv] dev_info: 8 ports detected [init -> rump_fs] rump: /genode: file system not clean; please fsck(8) Warning: insufficient ram quota for ROM session, provided=3877, required=4096 Warning: insufficient ram quota for ROM session, provided=3877, required=4096 Warning: insufficient ram quota for ROM session, provided=3877, required=4096 [init -> launcher] child "nit_fb1" announces service "Framebuffer" [init -> launcher] child "nit_fb1" announces service "Input" Warning: insufficient ram quota for ROM session, provided=3877, required=4096 Warning: insufficient ram quota for ROM session, provided=3877, required=4096 [init -> launcher -> nit_fb1] using xywh=(0,0,1920,1080) Warning: insufficient ram quota for ROM session, provided=3877, required=4096 Warning: insufficient ram quota for ROM session, provided=3877, required=4096 [init -> launcher -> vbox1] 0xa0000000 .. 0xafffffff: stack area [init -> launcher -> vbox1] 0x30000 .. 0x102fff: ld.lib.so [init -> launcher -> vbox1] 0x1c92000 .. 0x1dd1fff: libc.lib.so [init -> launcher -> vbox1] 0x1dd2000 .. 0x1dd7fff: libc_pipe.lib.so [init -> launcher -> vbox1] 0x1dd8000 .. 0x1de6fff: libc_terminal.lib.so [init -> launcher -> vbox1] 0x1de7000 .. 0x1eccfff: libiconv.lib.so [init -> launcher -> vbox1] 0x1ecd000 .. 0x1ef0fff: libm.lib.so [init -> launcher -> vbox1] 0x1ef1000 .. 0x1ef9fff: pthread.lib.so [init -> launcher -> vbox1] 0x1efa000 .. 0x1f30fff: qemu-usb.lib.so [init -> launcher -> vbox1] 0x1f31000 .. 0x2011fff: stdcxx.lib.so Warning: Quota exceeded! amount=48421, size=4096, consumed=45056 [init] child "rump_fs" announces service "File_system" [init -> usb_drv] dev_info: new full-speed USB device number 3 using ehci-pci [init] child "rtc_drv" announces service "Rtc" Warning: insufficient ram quota for ROM session, provided=3877, required=4096 [init -> launcher -> vbox1] using the pipe libc plugin [init -> launcher -> vbox1] Warning: issetugid called, not yet implemented, returning 1 [init -> launcher -> vbox1] Warning: issetugid called, not yet implemented, returning 1 [init -> launcher -> vbox1] Error: fcntl(): command 2 not supported [init -> launcher -> vbox1] Log created: 2017-04-28T15:08:00.000000000Z [init -> launcher -> vbox1] main Executable: /virtualbox [init -> launcher -> vbox1] Error: SystemPropertiesWrap : Cannot determine default Guest Additions ISO location. Most likely they are not available [init -> launcher -> vbox1] initDataAndChildObjects skip assertion [init -> launcher -> vbox1] i_saveSettings skipped [init -> launcher -> vbox1] main genodeConsole = 0000000000194d50 [init -> launcher -> vbox1] operator=: dynamic cast failed [init -> launcher -> vbox1] Warning: heap could not free memory block Warning: insufficient ram quota for ROM session, provided=3877, required=4096 [init -> launcher -> vbox1] operator=: dynamic cast failed [init -> launcher -> vbox1] MMR3ReserveHandyPages called Warning: Quota exceeded! amount=27173, size=4096, consumed=24576 Warning: could not allocate metadata Warning: Quota exceeded! amount=35365, size=4096, consumed=32768 Warning: could not allocate metadata [init -> launcher -> vbox1] VMMR0_DO_GMM_INITIAL_RESERVATION called Warning: Quota exceeded! amount=43557, size=4096, consumed=40960 Warning: could not allocate metadata [init -> launcher -> vbox1] VMMR0_DO_GMM_UPDATE_RESERVATION called [init -> launcher -> vbox1] MMR3HeapAPrintfVU called APIC Timer #0 APIC Timer #%u [init -> launcher -> vbox1] MMR3HeapAPrintfVU called APIC Timer #1 APIC Timer #%u [init -> launcher -> vbox1] SUPR3PageAllocEx cPages 1024 flags=0x0 r3=0xa07fe9b0 r0=0x0 [init -> launcher -> vbox1] SUPR3PageAllocEx cPages 1024 alloc=0x15c00000 done [init -> launcher -> vbox1] SUPR3PageAllocEx cPages 4 flags=0x0 r3=0xa07fe9b0 r0=0x0 [init -> launcher -> vbox1] SUPR3PageAllocEx cPages 4 alloc=0xa04000 done [init -> launcher -> vbox1] SUPR3PageAllocEx cPages 5120 flags=0x0 r3=0xa07fe940 r0=0x0 [init -> launcher -> vbox1] SUPR3PageAllocEx cPages 5120 alloc=0x21000000 done [init -> usb_drv] dev_info: new full-speed USB device number 4 using ehci-pci [init -> launcher -> vbox1] MMR3HyperInitFinalize called [init -> launcher -> vbox1] MMR3HyperSetGuard called 0x18002000 [init -> launcher -> vbox1] MMR3HyperSetGuard called 0x18005000 [init -> launcher -> vbox1] MMR3HyperSetGuard called 0x18010000 [init -> launcher -> vbox1] MMR3HyperSetGuard called 0x18013000 [init -> launcher -> vbox1] Using VMX virtualization extension. [init -> launcher -> vbox1] fb resize : [0] 1920x1080 -> 720x400 [init -> launcher -> vbox1] fb resize : [0] 720x400 -> 640x480 [init -> usb_drv] dev_info: new full-speed USB device number 5 using ehci-pci [init -> usb_drv] dev_info: new high-speed USB device number 6 using ehci-pci [init -> launcher -> vbox1] fb resize : [0] 640x480 -> 720x400 [init -> launcher -> nit_fb1] using xywh=(0,0,1920,1080) [init -> launcher -> nit_fb1] using xywh=(0,0,1920,1080) [init -> launcher -> nit_fb1] using xywh=(0,0,1920,1080) [init -> launcher -> nit_fb1] using xywh=(0,0,1920,1080)