Genode 17.08-215-g967551d <local changes>
3898 MiB RAM and 63254 caps assigned to init
[init] child "timer" announces service "Timer"
[init] child "log_terminal" announces service "Terminal"
[init] child "acpi_report_rom" announces service "Report"
[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: 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] 36 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 -> usb_drv] Could not read screen resolution in config node
[init -> usb_drv] Configured HID screen with 0x0 (multitouch=false)
[init -> usb_drv] No <storage> config node found - not starting the USB Storage (Block) service
[init -> usb_drv] No <nic> config node found - not starting the USB Nic (Network) service
[init -> usb_drv] No <raw> config node found - not starting external USB service
[init -> usb_drv] Enabled UHCI (USB 1.0/1.1) support
[init -> usb_drv] Enabled EHCI (USB 2.0) support
[init -> fb_drv] Found PCI VGA at 00:02.0
[init -> fb_drv] fb mapped to 0x4000
[init -> usb_drv] Enabled XHCI (USB 3.0) support
[init] child "usb_drv" announces service "Input"
[init] child "fb_drv" announces service "Framebuffer"
[init -> platform_drv] usb_drv -> : assignment of PCI device 0:14.0 succeeded
[init] child "rtc_drv" announces service "Rtc"
[init -> usb_drv] ioremap: mapped phys 0xf7c20000 (size 65536) to virt 0x20000
[init -> usb_drv] ioremap: return sub range phys 0xf7c20000 (size 65536) to virt 0x20000
[init -> usb_drv] dev_info: xHCI Host Controller
[init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1
[init -> usb_drv] dev_info: hcc params 0x20007181 hci version 0x100 quirks 0x0000b930
[init -> platform_drv] 0:14.0 adjust IRQ as reported by ACPI: 11 -> 16
[init -> platform_drv] 0:14.0 uses MSI 64bit, vector 0x7f, address 0xfee00018, non-maskable
[init -> usb_drv] dev_info: USB hub found
[init -> usb_drv] dev_info: 4 ports detected
[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 -> usb_drv] ioremap: mapped phys 0xf7c37000 (size 1024) to virt 0x17000
[init -> usb_drv] ioremap: return sub range phys 0xf7c37000 (size 1024) to virt 0x17000
[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: 11 -> 23
[init -> platform_drv] 0:1d.0 uses IRQ, vector 0x17, non-maskable
[init -> usb_drv] dev_info: irq 130, io mem 0xf7c37000
[init -> vbox1] using the pipe libc plugin
[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: 2 ports detected
[init -> platform_drv] usb_drv -> : assignment of PCI device 0:1a.0 succeeded
[init -> usb_drv] ioremap: mapped phys 0xf7c38000 (size 1024) to virt 0x13c000
[init -> usb_drv] ioremap: return sub range phys 0xf7c38000 (size 1024) to virt 0x13c000
[init -> usb_drv] dev_info: EHCI Host Controller
[init -> usb_drv] dev_info: new USB bus registered, assigned bus number 4
[init -> usb_drv] dev_warn: Enabling legacy PCI PM
[init -> platform_drv] 0:1a.0 adjust IRQ as reported by ACPI: 11 -> 16
[init -> platform_drv] 0:1a.0 uses IRQ, vector 0x10, non-maskable
[init -> usb_drv] dev_info: irq 131, io mem 0xf7c38000
[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: 2 ports detected
[init -> usb_drv] dev_info: new high-speed USB device number 2 using ehci-pci
[init -> usb_drv] dev_info: USB hub found
[init -> usb_drv] dev_info: 8 ports detected
[init -> vbox1] Warning: issetugid called, not yet implemented, returning 1
[init -> vbox1] Warning: issetugid called, not yet implemented, returning 1
[init -> usb_drv] dev_info: new high-speed USB device number 2 using ehci-pci
[init -> usb_drv] dev_info: USB hub found
[init -> usb_drv] dev_info: 6 ports detected
[init -> usb_drv] dev_info: new high-speed USB device number 3 using ehci-pci
[init -> usb_drv] dev_info: new low-speed USB device number 3 using ehci-pci
[init -> usb_drv] dev_info: HID 046a:0011
[init -> usb_drv] dev_info: input: USB HID v1.11 Keyboard [HID 046a:0011] on usb-dummy-1.1/input0
[init -> usb_drv] dev_info: new low-speed USB device number 4 using ehci-pci
[init -> usb_drv] dev_info: U
[init -> usb_drv] dev_info: input: USB HID v1.11 Mouse [U] on usb-dummy-1.2/input0
[init -> vbox1] Error: fcntl(): command 2 not supported
[init -> vbox1] Log created: 2017-12-05T15:37:00.000000000Z
[init -> vbox1] main     Executable: /virtualbox
[init -> vbox1] Error: SystemPropertiesWrap : Cannot determine default Guest Additions ISO location. Most likely they are not available
[init -> vbox1] i_saveSettings skipped
[init -> fb_drv] Found: VESA BIOS version 3.0
[init -> fb_drv] OEM: Intel(R) Sandybridge/Ivybridge Graphics Chipset Accelerated VGA BIOS
[init -> fb_drv] Found: physical frame buffer at 0xe0000000 size: 67043328
[init -> fb_drv] fb mapped to 0xc000000
[init -> fb_drv] using video mode: 1920x1440@16
[init -> vbox1] Using VMX virtualization extension.
[init -> vbox1] Warning: _fpathconf: _fpathconf not implemented
[init -> vbox1] Warning: statfs provides bogus values for '//test.iso' (probably a shared folder)
[init -> vbox1] Warning: fcntl(): command 4 args 4 not supported - terminal
[init -> vbox1] Warning: _sigaction: _sigaction not implemented
[init -> vbox1] Error: fireRuntimeErrorEvent : 0 DrvHostSerialFail Ioctl failed for serial host device '/dev/terminal' (VERR_NOT_SUPPORTED). The device will not work properly
[init -> vbox1] fb resize : [0] 1920x1440 -> 640x480
[init -> vbox1] fb resize : [0] 640x480 -> 720x400
[init -> vbox1] fb resize : [0] 720x400 -> 1024x768