NOVA Microhypervisor v7-8bcd6fc (x86_64): Jun 6 2017 12:07:06 [gcc 6.3.0]
[ 0] TSC:2637247 kHz BUS:1017434 kHz
[ 0] CORE:0:0:0 6:f:b:0 [0] Intel(R) Core(TM)2 Duo CPU T7700 @ 2.40GHz
Hypervisor reports 1x1 CPU
Warning: CPU has no invariant TSC.
CPU ID (genode->kernel:package:core:thread) remapping
remap (0->0:0:0:0) boot cpu
Hypervisor info page contains 8 memory descriptors:
core image [0000000000100000,00000000028a0000)
binaries region [0000000000225000,00000000028a0000) free for reuse
detected physical memory: 0x0000000000000000 - size: 0x000000000009fc00
use physical memory: 0x0000000000000000 - size: 0x000000000009f000
detected physical memory: 0x0000000000100000 - size: 0x000000007fee0000
use physical memory: 0x0000000000100000 - size: 0x000000007fee0000
:virt_alloc: Allocator 0x1e66f0 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=908K
Block: [000000000001a000,000000000001b000) size=4K avail=0 max_avail=0
Block: [000000000001b000,000000000001c000) size=4K avail=0 max_avail=908K
Block: [000000000001c000,000000000001d000) size=4K avail=0 max_avail=0
Block: [000000000001d000,0000000000100000) size=908K avail=908K max_avail=908K
Block: [0000000000225000,0000000000226000) size=4K avail=0 max_avail=0
Block: [0000000000226000,0000000000227000) size=4K avail=0 max_avail=137434760164K
Block: [0000000000227000,0000000000228000) size=4K avail=0 max_avail=0
Block: [0000000000228000,00000000a0000000) size=2619232K avail=2619232K max_avail=2619232K
Block: [00000000b0000000,00000000bfeff000) size=261116K avail=261116K max_avail=137434760164K
Block: [00000000bff04000,00007fffbfffd000) size=137434760164K avail=137434760164K max_avail=137434760164K
=> mem_size=140736144936960 (134216446 MB) / mem_avail=140736144814080 (134216446 MB)
:phys_alloc: Allocator 0x1e5620 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=2015480K
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=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=2015480K
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=516K
Block: [000000000001d000,000000000001e000) size=4K avail=0 max_avail=0
Block: [000000000001e000,000000000009f000) size=516K avail=516K max_avail=516K
Block: [0000000000100000,0000000000101000) size=4K avail=0 max_avail=2015480K
Block: [0000000000101000,0000000000102000) size=4K avail=0 max_avail=0
Block: [0000000000102000,0000000000400000) size=3064K avail=3064K max_avail=2015480K
Block: [0000000002800000,000000007d83e000) size=2015480K avail=2015480K max_avail=2015480K
=> mem_size=2067644416 (1971 MB) / mem_avail=2067517440 (1971 MB)
:io_mem_alloc: Allocator 0x1e77d8 dump:
Block: [0000000000000000,0000000000001000) size=4K avail=4K max_avail=4K
Block: [000000000009f000,0000000000100000) size=388K avail=388K max_avail=18014398507384956K
Block: [000000007ffe0000,fffffffffffff000) size=18014398507384956K avail=18014398507384956K max_avail=18014398507384956K
=> mem_size=18446744071562596352 (17592186042368 MB) / mem_avail=18446744071562596352 (17592186042368 MB)
:rom_fs: ROM modules:
ROM: [000000007fe07000,000000007fe1a7e0) acpi_drv
ROM: [000000007db04000,000000007db05ef6) config
ROM: [000000007fb0f000,000000007fdfccf8) core.o
ROM: [000000007f893000,000000007f90fcd8) device_pd
ROM: [000000007ff9d000,000000007ffdedd0) fb_drv
ROM: [000000000001c000,000000000001d000) hypervisor_info_page
ROM: [000000007e828000,000000007e8646d0) init
ROM: [000000007db06000,000000007dbb1bf8)
ld.lib.so ROM: [000000007daf5000,000000007db03388) log_terminal
ROM: [000000007f971000,000000007f998550) nic_bridge
ROM: [000000007f9c1000,000000007fa00ba8) nic_drv
ROM: [000000007dadd000,000000007daf49c8) nit_fb
ROM: [000000007da96000,000000007dad32e0) nitpicker
ROM: [000000007f936000,000000007f970790) platform_drv
ROM: [000000007f865000,000000007f87dcf8) ps2_drv
ROM: [000000007e810000,000000007e827770) report_rom
ROM: [000000007fe1b000,000000007fe2ba08) rtc_drv
ROM: [000000007e865000,000000007f865000) test.iso
ROM: [000000007fe2c000,000000007fe2cfb1) test.vbox
ROM: [000000007f87e000,000000007f8926a8) timer
ROM: [000000007faf5000,000000007fb0e0a0) vbox_pointer
ROM: [000000007dbb2000,000000007e80f678) virtualbox5-nova
Genode 17.05 <local changes>
1971 MiB RAM and 63254 caps assigned to init
Warning: priority of thread 'initial' below minimum - boost to 1
Warning: priority of thread 'initial' below minimum - boost to 1
[init] child "timer" announces service "Timer"
[init] child "acpi_report_rom" announces service "Report"
[init] child "report_rom" announces service "Report"
[init] child "report_rom" announces service "ROM"
[init] child "acpi_report_rom" announces service "ROM"
[init] child "log_terminal" announces service "Terminal"
[init -> acpi_drv] Found MADT
[init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0
[init -> acpi_drv] MADT IRQ 5 -> GSI 5 flags: 13
[init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: 13
[init -> acpi_drv] MADT IRQ 10 -> GSI 10 flags: 13
[init -> acpi_drv] MADT IRQ 11 -> GSI 11 flags: 13
[init] child "platform_drv" announces service "Platform"
[init -> ps2_drv] Using keyboard with scan code set 1 (xlate)
[init -> ps2_drv] detected ExPS/2 mouse - activating scroll-wheel and 5-button support
[init -> platform_drv] PS2 uses IRQ, vector 0x1
[init -> fb_drv] Found PCI VGA at 00:02.0
[init -> platform_drv] PS2 uses IRQ, vector 0xc
[init -> fb_drv] fb mapped to 0x1000
[init] child "ps2_drv" announces service "Input"
[init] child "fb_drv" announces service "Framebuffer"
[init] child "rtc_drv" announces service "Rtc"
[init -> fb_drv] Found: VESA BIOS version 3.0
[init -> fb_drv] OEM: SeaBIOS VBE(C) 2011
[init -> fb_drv] Found: physical frame buffer at 0xfd000000 size: 16777216
[init -> fb_drv] fb mapped to 0xb000000
[init -> fb_drv] using video mode: 2560x1600@...64...
[init] child "nitpicker" announces service "Nitpicker"
[init] child "nit_fb2" announces service "Framebuffer"
[init] child "nit_fb1" announces service "Framebuffer"
[init] child "nit_fb1" announces service "Input"
[init] child "nit_fb2" announces service "Input"
[init -> nit_fb2] using xywh=(410,410,1024,768)
[init -> nit_fb1] using xywh=(10,10,1024,768)
[init -> vbox1] using the pipe libc plugin
[init -> vbox2] using the pipe libc plugin
[init -> vbox1] Warning: issetugid called, not yet implemented, returning 1
[init -> vbox1] Warning: issetugid called, not yet implemented, returning 1
[init -> vbox2] Warning: issetugid called, not yet implemented, returning 1
[init -> vbox2] Warning: issetugid called, not yet implemented, returning 1
[init -> vbox1] Error: fcntl(): command 2 not supported
[init -> vbox1] Log created: 2017-07-06T19:36:00.016000000Z
[init -> vbox1] main Executable: /virtualbox
[init -> vbox1] Error: SystemPropertiesWrap : Cannot determine default Guest Additions ISO location. Most likely they are not available
[init -> vbox2] Error: fcntl(): command 2 not supported
[init -> vbox2] Log created: 2017-07-06T19:36:00.002000000Z
[init -> vbox2] main Executable: /virtualbox
[init -> vbox2] Error: SystemPropertiesWrap : Cannot determine default Guest Additions ISO location. Most likely they are not available
[init -> vbox1] i_saveSettings skipped
[init -> vbox2] i_saveSettings skipped
[init -> vbox2] Warning: _fpathconf: _fpathconf not implemented
[init -> vbox1] Warning: _fpathconf: _fpathconf not implemented
[init -> vbox1] Warning: statfs provides bogus values for '//test.iso' (probably a shared folder)
[init -> vbox2] 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 -> vbox2] Warning: fcntl(): command 4 args 4 not supported - terminal
[init -> vbox2] Warning: _sigaction: _sigaction not implemented
[init -> vbox1] Warning: No virtualization hardware acceleration available
[init -> vbox2] Warning: No virtualization hardware acceleration available
[init -> vbox1] SerMon
[init -> vbox1] SerMon !!Assertion Failed!!
[init -> vbox1] SerMon Expression: vcpu_handler
[init -> vbox1] SerMon Location : /home/chris/17.05/genode/repos/p
[init -> vbox1] orts/src/virtualbox5/spec/nova/sup.cc(378) int SUPR3CallVMMR0Ex(PVMR0, VMCPUID, unsigned int, uint64_t, PSUPVMMR0REQHDR)
[init -> vbox1]
[init -> vbox1] !!Assertion Failed!!
[init -> vbox1] Expression: vcpu_handler
[init -> vbox1] Location : /home/chris/17.05/genode/repos/ports/src/virtualbox5/spec/nova/sup.cc(378) int SUPR3CallVMMR0Ex(PVMR0, VMCPUID, unsigned int, uint64_t, PSUPVMMR0REQHDR)
Warning: unresolvable exception 3, pd 'init -> vbox1', thread 'SerMon', cpu 0, ip=0x1404b2c no signal handler
[init -> vbox2] SerMon
[init -> vbox2] SerMon !!Assertion Failed!!
[init -> vbox2] SerMon Expression: vcpu_handler
[init -> vbox2] SerMon Location : /home/chris/17.05/genode/repos/p
[init -> vbox2] orts/src/virtualbox5/spec/nova/sup.cc(378) int SUPR3CallVMMR0Ex(PVMR0, VMCPUID, unsigned int, uint64_t, PSUPVMMR0REQHDR)
[init -> vbox2]
[init -> vbox2] !!Assertion Failed!!
[init -> vbox2] Expression: vcpu_handler
[init -> vbox2] Location : /home/chris/17.05/genode/repos/ports/src/virtualbox5/spec/nova/sup.cc(378) int SUPR3CallVMMR0Ex(PVMR0, VMCPUID, unsigned int, uint64_t, PSUPVMMR0REQHDR)
Warning: unresolvable exception 3, pd 'init -> vbox2', thread 'SerMon', cpu 0, ip=0x1404b2c no signal handler
[init -> vbox1] Error: fireRuntimeErrorEvent : 0 DrvHostSerialFail Ioctl failed for serial host device '/dev/terminal' (VERR_NOT_SUPPORTED). The device will not work properly
[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] Error: pthread_self() called from alien thread named 'periodic_gip'
[init -> vbox2]
[init -> vbox2] !!Assertion Failed!!
[init -> vbox2] Expression: vcpu_handler
[init -> vbox2] Location : /home/chris/17.05/genode/repos/p
[init -> vbox2] orts/src/virtualbox5/spec/nova/sup.cc(378) int SUPR3CallVMMR0Ex(PVMR0, VMCPUID, unsigned int, uint64_t, PSUPVMMR0REQHDR)
[init -> vbox2] Error: pthread_self() called from alien thread named 'periodic_gip'
[init -> vbox2]
[init -> vbox2] !!Assertion Failed!!
[init -> vbox2] Expression: vcpu_handler
[init -> vbox2] Location : /home/chris/17.05/genode/repos/ports/src/virtualbox5/spec/nova/sup.cc(378) int SUPR3CallVMMR0Ex(PVMR0, VMCPUID, unsigned int, uint64_t, PSUPVMMR0REQHDR)
Warning: unresolvable exception 3, pd 'init -> vbox2', thread 'periodic_gip', cpu 0, ip=0x1404b2c no signal handler
[init -> vbox1] Error: pthread_self() called from alien thread named 'periodic_gip'
[init -> vbox1]
[init -> vbox1] !!Assertion Failed!!
[init -> vbox1] Expression: vcpu_handler
[init -> vbox1] Location : /home/chris/17.05/genode/repos/p
[init -> vbox1] orts/src/virtualbox5/spec/nova/sup.cc(378) int SUPR3CallVMMR0Ex(PVMR0, VMCPUID, unsigned int, uint64_t, PSUPVMMR0REQHDR)
[init -> vbox1] Error: pthread_self() called from alien thread named 'periodic_gip'
[init -> vbox1]
[init -> vbox1] !!Assertion Failed!!
[init -> vbox1] Expression: vcpu_handler
[init -> vbox1] Location : /home/chris/17.05/genode/repos/ports/src/virtualbox5/spec/nova/sup.cc(378) int SUPR3CallVMMR0Ex(PVMR0, VMCPUID, unsigned int, uint64_t, PSUPVMMR0REQHDR)
Warning: unresolvable exception 3, pd 'init -> vbox1', thread 'periodic_gip', cpu 0, ip=0x1404b2c no signal handler
[init -> vbox1] EMT
[init -> vbox1] EMT !!Assertion Failed!!
[init -> vbox1] EMT Expression: vcpu_handler
[init -> vbox1] EMT Location : /home/chris/17.05/genode/repos/p
[init -> vbox1] orts/src/virtualbox5/spec/nova/sup.cc(378) int SUPR3CallVMMR0Ex(PVMR0, VMCPUID, unsigned int, uint64_t, PSUPVMMR0REQHDR)
[init -> vbox1]
[init -> vbox1] !!Assertion Failed!!
[init -> vbox1] Expression: vcpu_handler
[init -> vbox1] Location : /home/chris/17.05/genode/repos/ports/src/virtualbox5/spec/nova/sup.cc(378) int SUPR3CallVMMR0Ex(PVMR0, VMCPUID, unsigned int, uint64_t, PSUPVMMR0REQHDR)
Warning: unresolvable exception 3, pd 'init -> vbox1', thread 'EMT', cpu 0, ip=0x1404b2c no signal handler