make[1]: Leaving directory '/home/user/genode.staging/build/x86_64'
genode build completed
using 'core-nova.o' as 'core.o'
using 'ld-nova.lib.so' as 'ld.lib.so'
using 'nova_timer_drv' as 'timer'
using 'ld-nova.lib.so' as 'ld.lib.so'
spawn amttool x201-amt.test.labs reset
host x201.test.labs, reset [y/N] ? y
execute: reset
result: pt_status: success
 Warning: could not check AMT SOL redirection service because of missing wsman tool, --amt-tool==amttool
spawn /bin/sh -c amtterm -u admin -v x201-amt.test.labs
amtterm: NONE -> CONNECT (connection to host)
ipv4 x201-amt.test.labs [10.0.0.232] 16994 open
amtterm: CONNECT -> INIT (redirection initialization)
amtterm: INIT -> AUTH (session authentication)
amtterm: AUTH -> INIT_SOL (serial-over-lan initialization)
amtterm: INIT_SOL -> RUN_SOL (serial-over-lan active)
serial-over-lan redirection ok
connected now, use ^] to escape
Bender: Hello World.

Need 0797e000 bytes to relocate modules.

Relocating to 78682000: 

Copying 127240640 bytes...

Copying 149000 bytes...



NOVA Microhypervisor v7-2006635 (x86_64): Jun 23 2017 11:36:18 [gcc 6.3.0] [MBI]



[ 0] TSC:2399940 kHz BUS:133330 kHz

[ 0] CORE:0:0:0 6:25:5:4 [3] Intel(R) Core(TM) i5 CPU       M 520  @ 2.40GHz

[ 1] CORE:0:0:1 6:25:5:4 [3] Intel(R) Core(TM) i5 CPU       M 520  @ 2.40GHz

[ 2] CORE:0:2:0 6:25:5:4 [3] Intel(R) Core(TM) i5 CPU       M 520  @ 2.40GHz

[ 3] CORE:0:2:1 6:25:5:4 [3] Intel(R) Core(TM) i5 CPU       M 520  @ 2.40GHz

[ 0] DMAR:0xffffffff81036078 FRR:0 FR:0x5 BDF:0:2:0 FI:0xff7fff000

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:2:0) 

 remap (2->1:0:0:1) 

 remap (3->3:0:2:1) 

Hypervisor info page contains 41 memory descriptors:

core     image  [0000000000100000,0000000007a58000)

binaries region [0000000000226000,0000000007a58000) free for reuse

detected physical memory: 0x0000000000000000 - size: 0x0000000000089400

use      physical memory: 0x0000000000000000 - size: 0x0000000000089000

detected physical memory: 0x0000000000100000 - size: 0x00000000bb17c000

use      physical memory: 0x0000000000100000 - size: 0x00000000bb17c000

detected physical memory: 0x00000000bb282000 - size: 0x00000000000dd000

use      physical memory: 0x00000000bb282000 - size: 0x00000000000dd000

detected physical memory: 0x00000000bb40f000 - size: 0x0000000000060000

use      physical memory: 0x00000000bb40f000 - size: 0x0000000000060000

detected physical memory: 0x00000000bb70f000 - size: 0x0000000000008000

use      physical memory: 0x00000000bb70f000 - size: 0x0000000000008000

detected physical memory: 0x00000000bb71f000 - size: 0x000000000004c000

use      physical memory: 0x00000000bb71f000 - size: 0x000000000004c000

detected physical memory: 0x00000000bb7ff000 - size: 0x0000000000001000

use      physical memory: 0x00000000bb7ff000 - size: 0x0000000000001000

detected physical memory: 0x0000000100000000 - size: 0x0000000038000000

use      physical memory: 0x0000000100000000 - size: 0x0000000038000000

:virt_alloc: Allocator 0x1e76f0 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: [0000000000226000,0000000000227000) size=4K avail=0 max_avail=0

 Block: [0000000000227000,0000000000228000) size=4K avail=0 max_avail=137434760164K

 Block: [0000000000228000,0000000000229000) size=4K avail=0 max_avail=0

 Block: [0000000000229000,00000000a0000000) size=2619228K avail=2619228K max_avail=2619228K

 Block: [00000000b0000000,00000000bfeff000) size=261116K avail=261116K max_avail=137434760164K

 Block: [00000000bff04000,00007fffbfffd000) size=137434760164K avail=137434760164K max_avail=137434760164K

 => mem_size=140736144932864 (134216446 MB) / mem_avail=140736144809984 (134216446 MB)



:phys_alloc: Allocator 0x1e6620 dump:

 Block: [0000000000001000,0000000000089000) size=544K avail=544K max_avail=544K

 Block: [0000000000100000,0000000001000000) size=15M avail=15M max_avail=1919644K

 Block: [0000000003400000,00000000786a7000) size=1919644K avail=1919644K max_avail=1919644K

 Block: [0000000080001000,00000000bb27c000) size=969196K avail=969196K max_avail=1919644K

 Block: [00000000bb282000,00000000bb283000) size=4K avail=0 max_avail=0

 Block: [00000000bb283000,00000000bb35f000) size=880K avail=880K max_avail=880K

 Block: [00000000bb40f000,00000000bb410000) size=4K avail=0 max_avail=1919644K

 Block: [00000000bb410000,00000000bb411000) size=4K avail=0 max_avail=0

 Block: [00000000bb411000,00000000bb412000) size=4K avail=0 max_avail=0

 Block: [00000000bb412000,00000000bb413000) size=4K avail=0 max_avail=1919644K

 Block: [00000000bb413000,00000000bb414000) size=4K avail=0 max_avail=0

 Block: [00000000bb414000,00000000bb415000) size=4K avail=0 max_avail=0

 Block: [00000000bb415000,00000000bb416000) size=4K avail=0 max_avail=0

 Block: [00000000bb416000,00000000bb417000) size=4K avail=0 max_avail=0

 Block: [00000000bb417000,00000000bb418000) size=4K avail=0 max_avail=0

 Block: [00000000bb418000,00000000bb419000) size=4K avail=0 max_avail=0

 Block: [00000000bb419000,00000000bb41a000) size=4K avail=0 max_avail=0

 Block: [00000000bb41a000,00000000bb41b000) size=4K avail=0 max_avail=0

 Block: [00000000bb41b000,00000000bb41c000) size=4K avail=0 max_avail=0

 Block: [00000000bb41c000,00000000bb41d000) size=4K avail=0 max_avail=0

 Block: [00000000bb41d000,00000000bb41e000) size=4K avail=0 max_avail=0

 Block: [00000000bb41e000,00000000bb41f000) size=4K avail=0 max_avail=1919644K

 Block: [00000000bb41f000,00000000bb420000) size=4K avail=0 max_avail=0

 Block: [00000000bb420000,00000000bb421000) size=4K avail=0 max_avail=0

 Block: [00000000bb421000,00000000bb422000) size=4K avail=0 max_avail=0

 Block: [00000000bb422000,00000000bb423000) size=4K avail=0 max_avail=0

 Block: [00000000bb423000,00000000bb424000) size=4K avail=0 max_avail=0

 Block: [00000000bb424000,00000000bb425000) size=4K avail=0 max_avail=0

 Block: [00000000bb425000,00000000bb426000) size=4K avail=0 max_avail=0

 Block: [00000000bb426000,00000000bb427000) size=4K avail=0 max_avail=268K

 Block: [00000000bb427000,00000000bb428000) size=4K avail=0 max_avail=0

 Block: [00000000bb428000,00000000bb429000) size=4K avail=0 max_avail=0

 Block: [00000000bb429000,00000000bb42a000) size=4K avail=0 max_avail=0

 Block: [00000000bb42a000,00000000bb42b000) size=4K avail=0 max_avail=268K

 Block: [00000000bb42b000,00000000bb42c000) size=4K avail=0 max_avail=0

 Block: [00000000bb42c000,00000000bb46f000) size=268K avail=268K max_avail=268K

 Block: [00000000bb70f000,00000000bb710000) size=4K avail=0 max_avail=896M

 Block: [00000000bb710000,00000000bb717000) size=28K avail=28K max_avail=28K

 Block: [00000000bb71f000,00000000bb720000) size=4K avail=0 max_avail=896M

 Block: [00000000bb720000,00000000bb76b000) size=300K avail=300K max_avail=300K

 Block: [00000000bb7ff000,00000000bb800000) size=4K avail=4K max_avail=896M

 Block: [0000000100000000,0000000138000000) size=896M avail=896M max_avail=896M

 => mem_size=3915628544 (3734 MB) / mem_avail=3915497472 (3734 MB)



:io_mem_alloc: Allocator 0x1e87d8 dump:

 Block: [0000000000000000,0000000000001000) size=4K avail=4K max_avail=4K

 Block: [0000000000089000,0000000000100000) size=476K avail=476K max_avail=476K

 Block: [00000000bb27c000,00000000bb282000) size=24K avail=24K max_avail=704K

 Block: [00000000bb35f000,00000000bb40f000) size=704K avail=704K max_avail=704K

 Block: [00000000bb46f000,00000000bb70f000) size=2688K avail=2688K max_avail=18014398504370172K

 Block: [00000000bb717000,00000000bb71f000) size=32K avail=32K max_avail=32K

 Block: [00000000bb76b000,00000000bb7ff000) size=592K avail=592K max_avail=18014398504370172K

 Block: [00000000bb800000,0000000100000000) size=1096M avail=1096M max_avail=18014398504370172K

 Block: [0000000138000000,fffffffffffff000) size=18014398504370172K avail=18014398504370172K max_avail=18014398504370172K

 => mem_size=18446744069628923904 (17592186040524 MB) / mem_avail=18446744069628923904 (17592186040524 MB)



:rom_fs: ROM modules:

 ROM: [0000000078b1b000,0000000078b31448) acpi_drv

 ROM: [000000007f57b000,000000007f57ce7a) config

 ROM: [000000007f715000,000000007f791bb0) device_pd

 ROM: [000000007f629000,000000007f66add0) fb_drv

 ROM: [00000000bb42a000,00000000bb42b000) hypervisor_info_page

 ROM: [000000007ffc3000,000000007ffff6d0) init

 ROM: [000000007f57d000,000000007f628b28) ld.lib.so

 ROM: [0000000078879000,00000000789aa068) libc.lib.so

 ROM: [000000007ffab000,000000007ffb3130) libc_pipe.lib.so

 ROM: [0000000078b47000,0000000078b55d70) libc_terminal.lib.so

 ROM: [000000007f456000,000000007f53ad40) libiconv.lib.so

 ROM: [000000007f675000,000000007f69c4a0) libm.lib.so

 ROM: [000000007ffb4000,000000007ffc2388) log_terminal

 ROM: [000000007f553000,000000007f57a550) nic_bridge

 ROM: [000000007f6af000,000000007f6eee58) nic_drv

 ROM: [000000007f53b000,000000007f5529c8) nit_fb

 ROM: [00000000787e8000,00000000788252e0) nitpicker

 ROM: [0000000078826000,0000000078860790) platform_drv

 ROM: [00000000bb428000,00000000bb429000) platform_info

 ROM: [000000007ff92000,000000007ffaacf8) ps2_drv

 ROM: [000000007f66b000,000000007f6746f0) pthread.lib.so

 ROM: [000000007f6ef000,000000007f714e18) qemu-usb.lib.so

 ROM: [0000000078861000,0000000078878770) report_rom

 ROM: [000000007f69d000,000000007f6ada08) rtc_drv

 ROM: [00000000789ab000,0000000078b1aae0) stdcxx.lib.so

 ROM: [0000000078b56000,000000007f456000) test.iso

 ROM: [000000007f6ae000,000000007f6aefb0) test.vbox

 ROM: [0000000078b32000,0000000078b466a8) timer

 ROM: [00000000787ce000,00000000787e70a0) vbox_pointer

 ROM: [000000007f792000,000000007ff91298) virtualbox-nova



Genode 17.05-78-g5becaac

3733 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 -> nic_drv] -- init iPXE NIC

[init] child "acpi_report_rom" announces service "Report"

[init] child "acpi_report_rom" announces service "ROM"

[init] child "rtc_drv" announces service "Rtc"

[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 0xe0000000 seg 0x0 bus 0x0-0xff

[init -> acpi_drv] Found DMAR

[init -> acpi_drv] 36 bit DMA physical addressable

[init -> acpi_drv] DMA remapping structure type=0

[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 -> ps2_drv] Using keyboard with scan code set 1 (xlate)

[init -> fb_drv] Found PCI VGA at 00:02.0

[init -> fb_drv] fb mapped to 0x1000

[init] child "fb_drv" announces service "Framebuffer"

[init -> nic_drv] Found: 00:19.0 8086:10ea (rev 06) IRQ 0b

[init -> nic_drv] using driver 82577lm

[init -> nic_drv] PCI BIOS has not enabled device 00:19.0! Updating PCI command 0103->0107

[init -> nic_drv] 

[init -> fb_drv] Found: VESA BIOS version 3.0

[init -> fb_drv] OEM: Intel(R)Ironlake Mobile Graphics Chipset Accelerated VGA BIOS

[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 = f2500000 len = 20000

[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 0xd0000000 size: 33488896

[init -> fb_drv] fb mapped to 0xb000000

[init -> fb_drv] using video mode: 1280x800@16

[init] child "nitpicker" announces service "Nitpicker"

[init] child "nit_fb1" 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 "Framebuffer"

[init] child "nit_fb2" announces service "Input"

[init -> nit_fb2] using xywh=(410,410,1024,768)

[init -> vbox1] using the pipe libc plugin

[init -> vbox2] using the pipe libc plugin

[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 0x9f, address 0xfee00000, non-maskable

[init] child "nic_drv" announces service "Nic"

[init -> nic_drv] MAC address f0:de:f1:10:77:e3

[init -> nic_bridge] --- NIC bridge started (mac=f0:de:f1:10:77:e3) ---

[init] child "nic_bridge" announces service "Nic"

[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-06-23T09:38:00.000000000Z

[init -> vbox1] main     Executable: /virtualbox

[init -> vbox1] Error: SystemProperties : 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-06-23T09:38: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 -> vbox1] Warning: _fpathconf: _fpathconf not implemented

[init -> vbox2] 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 -> vbox2] Warning: fcntl(): command 4 args 4 not supported - terminal

[init -> vbox2] Warning: _sigaction: _sigaction not implemented

[init -> vbox2] Using VMX 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 -> vbox1] Warning: fcntl(): command 4 args 4 not supported - terminal

[init -> vbox1] Warning: _sigaction: _sigaction not implemented

[init -> vbox1] Using VMX virtualization extension.

[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] fb resize : 1024x768@16 -> 720x400@0

[init -> vbox1] fb resize : 1024x768@16 -> 720x400@0

[init -> vbox1] fb resize : 720x400@16 -> 640x480@32

[init -> vbox2] fb resize : 720x400@16 -> 640x480@32

[init -> vbox2] fb resize : 640x480@16 -> 720x400@0

[init -> vbox1] fb resize : 640x480@16 -> 720x400@0

[init -> vbox1] fb resize : 720x400@16 -> 1024x768@32

[init -> vbox2] fb resize : 720x400@16 -> 1024x768@32

Expect: 'interact' received 'strg+c' and was cancelled
make: Leaving directory '/home/user/genode.staging/build/x86_64'