Bender: Hello World.

Need 05d6c000 bytes to relocate modules.

Relocating to 7a294000: 

Copying 97788656 bytes...

Copying 166240 bytes...



NOVA Microhypervisor v8-c2f95bf (x86_64): May  8 2019 18:22:21 [gcc 6.3.0] [MBI]



[ 0] TSC:3400000 kHz BUS:0 kHz DL

[ 0] CORE:0:0:0 6:3c:3:1 [19] Intel(R) Core(TM) i7-4770 CPU @ 3.40GHz

[ 4] CORE:0:0:1 6:3c:3:1 [19] Intel(R) Core(TM) i7-4770 CPU @ 3.40GHz

[ 6] CORE:0:2:1 6:3c:3:1 [19] Intel(R) Core(TM) i7-4770 CPU @ 3.40GHz

[ 2] CORE:0:2:0 6:3c:3:1 [19] Intel(R) Core(TM) i7-4770 CPU @ 3.40GHz

[ 1] CORE:0:1:0 6:3c:3:1 [19] Intel(R) Core(TM) i7-4770 CPU @ 3.40GHz

[ 5] CORE:0:1:1 6:3c:3:1 [19] Intel(R) Core(TM) i7-4770 CPU @ 3.40GHz

[ 7] CORE:0:3:1 6:3c:3:1 [19] Intel(R) Core(TM) i7-4770 CPU @ 3.40GHz

[ 3] CORE:0:3:0 6:3c:3:1 [19] Intel(R) Core(TM) i7-4770 CPU @ 3.40GHz

Hypervisor features VMX

Hypervisor reports 8x1 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) 

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

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

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

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

Hypervisor info page contains 26 memory descriptors:

core     image  [0000000000100000,0000000005e41000)

binaries region [0000000000291000,0000000005e41000) free for reuse

detected physical memory: 0x0000000000000000 - size: 0x000000000009d800

use      physical memory: 0x0000000000000000 - size: 0x000000000009d000

detected physical memory: 0x0000000000100000 - size: 0x00000000c4c94000

use      physical memory: 0x0000000000100000 - size: 0x00000000c4c94000

detected physical memory: 0x00000000c4d9b000 - size: 0x0000000000458000

use      physical memory: 0x00000000c4d9b000 - size: 0x0000000000458000

detected physical memory: 0x00000000c5678000 - size: 0x000000001303c000

use      physical memory: 0x00000000c5678000 - size: 0x000000001303c000

detected physical memory: 0x00000000d9fff000 - size: 0x0000000000001000

use      physical memory: 0x00000000d9fff000 - size: 0x0000000000001000

detected physical memory: 0x0000000100000000 - size: 0x000000031fe00000

use      physical memory: 0x0000000100000000 - size: 0x000000031fe00000

detected res memory: 0x9d800 - size: 0x2800 type=2

detected res memory: 0xe0000 - size: 0x20000 type=2

detected res memory: 0xc4d94000 - size: 0x7000 type=4

detected res memory: 0xc51f3000 - size: 0x485000 type=2

detected res memory: 0xd86b4000 - size: 0x8a000 type=2

detected res memory: 0xd873e000 - size: 0x19000 type=3

detected res memory: 0xd8757000 - size: 0x53e000 type=4

detected res memory: 0xd8c95000 - size: 0x136a000 type=2

detected res memory: 0xdc000000 - size: 0x2200000 type=2

detected res memory: 0xf8000000 - size: 0x4000000 type=2

detected res memory: 0xfec00000 - size: 0x1000 type=2

detected res memory: 0xfed00000 - size: 0x4000 type=2

detected res memory: 0xfed1c000 - size: 0x4000 type=2

detected res memory: 0xfee00000 - size: 0x1000 type=2

detected res memory: 0xff000000 - size: 0x1000000 type=2

detected res memory: 0x7a2bd000 - size: 0x5d422f0 type=-2

detected res memory: 0x1000000 - size: 0x800000 type=-1

detected res memory: 0x1800000 - size: 0xa200000 type=-1

detected res memory: 0xd8743028 - size: 0x0 type=-3

detected res memory: 0xd8743088 - size: 0x0 type=-4

ROM modules:

 ROM: [000000007fc80000,000000007fc9fec8) acpi_drv

 ROM: [000000007fab9000,000000007fc7ecc0) bzImage-3.1

 ROM: [000000007fe14000,000000007fe14ee4) config

 ROM: [000000000000c000,0000000000010000) core_log

 ROM: [000000007ff00000,000000007ff5edd0) fb_drv

 ROM: [000000007ffa6000,000000007fffe360) init

 ROM: [000000007a4a3000,000000007fa9843d) kernelbuild-e2fs.bz2

 ROM: [000000007fe15000,000000007feff1f0) ld.lib.so

 ROM: [000000007ff75000,000000007ff75934) munich

 ROM: [000000007a44f000,000000007a4a2828) platform_drv

 ROM: [000000000000a000,000000000000b000) platform_info

 ROM: [000000007ff76000,000000007ffa5950) ps2_drv

 ROM: [000000007fa99000,000000007fab8858) report_rom

 ROM: [000000007ff5f000,000000007ff74be8) rtc_drv

 ROM: [000000007fcbc000,000000007fe13f50) seoul

 ROM: [000000007fca0000,000000007fcbbae0) timer

 ROM: [000000007fc7f000,000000007fc7f520) vm_seoul.cfg



170M kernel memory



Genode 19.02 <local changes>

15991 MiB RAM and 63253 caps assigned to init

[init] parent provides

[init]   service "ROM"

[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]   cap quota:  68

[init]   ELF binary: timer

[init]   priority:   0

[init]   provides service Timer

[init] child "rtc_drv"

[init]   RAM quota:  776K

[init]   cap quota:  68

[init]   ELF binary: rtc_drv

[init]   priority:   1

[init]   provides service Rtc

[init] child "ps2_drv"

[init]   RAM quota:  2824K

[init]   cap quota:  68

[init]   ELF binary: ps2_drv

[init]   priority:   1

[init]   provides service Input

[init] child "acpi_drv"

[init]   RAM quota:  2824K

[init]   cap quota:  368

[init]   ELF binary: acpi_drv

[init]   priority:   1

[init] child "acpi_report_rom"

[init]   RAM quota:  1800K

[init]   cap quota:  68

[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]   cap quota:  768

[init]   ELF binary: platform_drv

[init]   priority:   1

[init]   provides service Platform

[init]   provides service Acpi

[init] child "fb_drv"

[init]   RAM quota:  7944K

[init]   cap quota:  88

[init]   ELF binary: fb_drv

[init]   priority:   1

[init]   provides service Framebuffer

[init] child "seoul"

[init]   RAM quota:  972552K

[init]   cap quota:  168

[init]   ELF binary: seoul

[init]   priority:   3

[init] child "timer" announces service "Timer"

[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] 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 -> acpi_drv] XSDT OEM 'ALASKA', table id 'A M I', revision 17244169, creator 'AMI ' (65555)

[init -> platform_drv] ECAM/MMCONF range 00:00.0-3f:1f.7 - addr [00000000f8000000,00000000fc000000)

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

[init -> platform_drv] Root bridge: 00:00.0

[init -> platform_drv] 00:01.0 - bridge 01:00.0

[init -> platform_drv] 00:1c.0 - bridge 02:00.0

[init] child "platform_drv" announces service "Platform"

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

[init -> ps2_drv] Using keyboard with scan code set 1 (xlate)

[init -> fb_drv] fb mapped to 0x4000

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

[init -> ps2_drv] Error: failed to read from port

[init -> ps2_drv] Warning: could not reset mouse (missing ack)

[init -> seoul] --- Vancouver VMM starting ---

[init -> ps2_drv] Warning: could not reset mouse (unexpected response)

[init -> ps2_drv] Error: failed to read from port

[init -> ps2_drv] Error: failed to read from port

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

[init -> ps2_drv] Warning: could not enable stream

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

[init -> fb_drv] Found: physical frame buffer at 0xe0000000 size: 33488896

[init -> fb_drv] fb mapped to 0xb000000

[init -> fb_drv] using video mode: 1024x768@16

[init -> fb_drv] using buffered output

[init -> platform_drv] PS2 uses IRQ, vector 0x1

[init -> platform_drv] PS2 uses IRQ, vector 0xc

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

[init -> seoul] [0000000000000000,000000003ab33000) - 939 MiB - VM accessible memory

[init -> seoul] [0000000040000000,000000007a9b3000) - 939 MiB - VMM accessible shadow mapping of VM memory

[init -> seoul] [000000007a9b3000,000000007ab33000) - 1 MiB - VMM accessible framebuffer memory of VM

[init -> seoul] [00000000a0000000,00000000b0000000) - Genode stack area

[init -> seoul] [00007fffbf800000,00007fffbf995ee8) - VMM program image

[init -> seoul] 

[init -> seoul] --- Setup VM ---

[init -> seoul] device: mem

[init -> seoul]  arg[0]: 0x0

[init -> seoul]  arg[1]: 0x9a000

[init -> seoul] VMM: physmem: 0 [0, 9a000]

[init -> seoul] device: mem

[init -> seoul]  arg[0]: 0x100000

[init -> seoul]  arg[1]: 0xfffff000

[init -> seoul] VMM: physmem: 0 [100000, 3a9b3000]

[init -> seoul] device: nullio

[init -> seoul]  arg[0]: 0x80

[init -> seoul] device: pic

[init -> seoul]  arg[0]: 0x20

[init -> seoul]  arg[2]: 0x4d0

[init -> seoul] device: pic

[init -> seoul]  arg[0]: 0xa0

[init -> seoul]  arg[1]: 0x2

[init -> seoul]  arg[2]: 0x4d1

[init -> seoul] device: pit

[init -> seoul]  arg[0]: 0x40

[init -> seoul]  arg[1]: 0x0

[init -> seoul] device: scp

[init -> seoul]  arg[0]: 0x92

[init -> seoul]  arg[1]: 0x61

[init -> seoul] device: kbc

[init -> seoul]  arg[0]: 0x60

[init -> seoul]  arg[1]: 0x1

[init -> seoul]  arg[2]: 0xc

[init -> seoul] device: keyb

[init -> seoul]  arg[0]: 0x0

[init -> seoul]  arg[1]: 0x10000

[init -> seoul] device: mouse

[init -> seoul]  arg[0]: 0x1

[init -> seoul]  arg[1]: 0x10001

[init -> seoul] device: rtc

[init -> seoul]  arg[0]: 0x70

[init -> seoul]  arg[1]: 0x8

[init -> seoul] VMM: Got time 588634cab7c40

[init -> seoul] device: serial

[init -> seoul]  arg[0]: 0x3f8

[init -> seoul]  arg[1]: 0x4

[init -> seoul]  arg[2]: 0x4711

[init -> seoul] device: hostsink

[init -> seoul]  arg[0]: 0x4712

[init -> seoul]  arg[1]: 0x50

[init -> seoul] device: vga

[init -> seoul]  arg[0]: 0x3c0

[init -> seoul] VMM: _alloc_fb_mem -> len=0x180000, ptr=0x40000000

[init -> seoul] VMM: VGA console 3a9b3000+180000 7a9b3000

[init -> seoul] device: vbios_keyboard

[init -> seoul]  arg[0]: 0x10000

[init -> seoul] device: vbios_mem

[init -> seoul] device: vbios_time

[init -> seoul] device: vbios_reset

[init -> seoul] device: vbios_multiboot

[init -> seoul] device: msi

[init -> seoul] device: ioapic

[init -> seoul] device: pcihostbridge

[init -> seoul]  arg[0]: 0x0

[init -> seoul]  arg[1]: 0x10

[init -> seoul]  arg[2]: 0xcf8

[init -> seoul]  arg[3]: 0xe0000000

[init -> seoul] device: pmtimer

[init -> seoul]  arg[0]: 0x8000

[init -> seoul] device: vcpu

[init -> seoul] device: halifax

[init -> seoul] device: vbios

[init -> seoul] device: lapic

[init -> seoul] VMM: LAPIC freq 106250000

[init -> seoul] device: vcpu

[init -> seoul] device: halifax

[init -> seoul] device: vbios

[init -> seoul] device: lapic

[init -> seoul] VMM: LAPIC freq 106250000

[init -> seoul] device: vcpu

[init -> seoul] device: halifax

[init -> seoul] device: vbios

[init -> seoul] device: lapic

[init -> seoul] VMM: LAPIC freq 106250000

[init -> seoul] 

[init -> seoul] --- Booting VM ---

[init -> seoul] VM and VMM are co-located. VM is starting with 3 vCPUs

[init -> seoul] VMM: RESET device state

[init -> seoul] VMM: MessageLegacy::RESET requested

[init -> seoul] VMM: INIT done

[init -> seoul] VMM: reset CPU from 9 mtr_in e0010

[init -> seoul] VMM: reset CPU from 9 mtr_in e0010

[init -> seoul] VMM: reset CPU from 9 mtr_in e0010

[init -> seoul] VMM: Reactivating text buffer loop.

[init -> seoul] VMM: >	bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 10002

[init -> seoul] VMM: 	module 0 start 41800000+1000 cmdline munich

[init -> seoul] VMM: 	module 1 start 41802000+1c6000 cmdline bzImage-3.1 root=/dev/ram0 earlyprintk=ttyS0 console=ttyS0 text  benchmark_cmd='make -C /usr/src/linux-* defconfig && make -j 3 -C /usr/src/linux-* bzImage'

[init -> seoul] VMM: 	module 2 start 419c9000+55f6000 cmdline kernelbuild-e2fs.bz2

[init -> seoul] VMM: Reactivating text buffer loop.

[init -> seoul] VMM: #   MUNICH: v.0.4.6 starts Linux

[init -> seoul] VMM: #   MUNICH: 3.1.0 (genode@debugging) #6 SMP PREEMPT Mon Jun 24 11:17:44 CEST 2013

[init -> seoul] VMM: #   MUNICH: root=/dev/ram0 earlyprintk=ttyS0 console=ttyS0 text  benchmark_cmd='make

[init -> seoul] VMM: # |    -C /usr/src/linux-* defconfig && make -j 3 -C /usr/src/linux-* bzImage'

[init -> seoul] VMM: #   MUNICH: initrd 19C9000

[init -> seoul] VMM: #   MUNICH: copy image

[init -> seoul] VMM: #   MUNICH: start kernel

[init -> seoul] VMM: 	handle_int15 eax e801 ebx 0 ecx 0 edx 0 eip 15 efl 2

[init -> seoul] VMM: 	handle_int15 eax c000 ebx 0 ecx 0 edx 0 eip 15 efl 2

[init -> seoul] VMM: 	handle_int15 eax e980 ebx 0 ecx 0 edx 47534943 eip 15 efl 2

[init -> seoul] VMM: VESA 4f00 tag 0 base 40000+3560 esi 0

[init -> seoul] VMM: #   Initializing cgroup subsys cpu

[init -> seoul] VMM: #   Linux version 3.1.0 (genode@debugging) (gcc version 4.4.3 (Ubuntu 4.4.3-4ubuntu5

[init -> seoul] VMM: # |   .1) ) #6 SMP PREEMPT Mon Jun 24 11:17:44 CEST 2013

[init -> seoul] VMM: #   CPU: vendor_id 'NOVA microHV' unknown, using generic init.

[init -> seoul] VMM: #   CPU: Your system may be unstable.

[init -> seoul] VMM: #   BIOS-provided physical RAM map:

[init -> seoul] VMM: #    BIOS-e820: 0000000000000000 - 0000000000093800 (usable)

[init -> seoul] VMM: #    BIOS-e820: 0000000000093800 - 00000000000a0000 (reserved)

[init -> seoul] VMM: #    BIOS-e820: 0000000000100000 - 000000003a9b3000 (usable)

[init -> seoul] VMM: #   bootconsole [earlyser0] enabled

[init -> seoul] VMM: #   Notice: NX (Execute Disable) protection missing in CPU!

[init -> seoul] VMM: #   DMI not present or invalid.

[init -> seoul] VMM: #   last_pfn = 0x3a9b3 max_arch_pfn = 0x100000

[init -> seoul] VMM: #   init_memory_mapping: 0000000000000000-00000000377fe000

[init -> seoul] VMM: #   RAMDISK: 019c9000 - 06fbf000

[init -> seoul] VMM: #   ACPI: RSDP 00098200 00014 (v00  NOVA )

[init -> seoul] VMM: #   ACPI: RSDT 00096000 00030 (v01  NOVA  bk@vmmon 00000001      00000000)

[init -> seoul] VMM: #   ACPI: APIC 00097000 00074 (v01  NOVA  bk@vmmon 00000001      00000000)

[init -> seoul] VMM: #   ACPI: MCFG 00095000 0003C (v01  NOVA  bk@vmmon 00000001      00000000)

[init -> seoul] VMM: #   ACPI: FACP 00094000 000DC (v01  NOVA  bk@vmmon 00000001      00000000)

[init -> seoul] VMM: #   ACPI Error: Required field Pm1aEventBlock has zero address and/or length: 0x0000

[init -> seoul] VMM: # |   000000000000/0x0 (20110623/tbfadt-544)

[init -> seoul] VMM: #   ACPI Error: Required field Pm1aControlBlock has zero address and/or length: 0x00

[init -> seoul] VMM: # |   00000000000000/0x0 (20110623/tbfadt-544)

[init -> seoul] VMM: #   ACPI: DSDT 00093b08 004E8 (v00   BAMM    JONGE 00000001 INTL 20130418)

[init -> seoul] VMM: #   ACPI: FACS 00093aa4 00024

[init -> seoul] VMM: #   49MB HIGHMEM available.

[init -> seoul] VMM: #   887MB LOWMEM available.

[init -> seoul] VMM: #     mapped low ram: 0 - 377fe000

[init -> seoul] VMM: #     low ram: 0 - 377fe000

[init -> seoul] VMM: #   Zone PFN ranges:

[init -> seoul] VMM: #     DMA      0x00000010 -> 0x00001000

[init -> seoul] VMM: #     Normal   0x00001000 -> 0x000377fe

[init -> seoul] VMM: #     HighMem  0x000377fe -> 0x0003a9b3

[init -> seoul] VMM: #   Movable zone start PFN for each node

[init -> seoul] VMM: #   early_node_map[2] active PFN ranges

[init -> seoul] VMM: #       0: 0x00000010 -> 0x00000093

[init -> seoul] VMM: #       0: 0x00000100 -> 0x0003a9b3

[init -> seoul] VMM: #   Using APIC driver default

[init -> seoul] VMM: #   ACPI: PM-Timer IO Port: 0x8000

[init -> seoul] VMM: #   ACPI: LAPIC (acpi_id[0x00] lapic_id[0x00] enabled)

[init -> seoul] VMM: #   ACPI: LAPIC (acpi_id[0x00] lapic_id[0x01] enabled)

[init -> seoul] VMM: #   ACPI: LAPIC (acpi_id[0x00] lapic_id[0x02] enabled)

[init -> seoul] VMM: #   ACPI: X2APIC_NMI (uid[0xffffffff] dfl dfl lint[0x1])

[init -> seoul] VMM: #   ACPI: LAPIC_NMI (acpi_id[0xff] dfl dfl lint[0x1])

[init -> seoul] VMM: #   ACPI: IOAPIC (id[0x00] address[0xfec00000] gsi_base[0])

[init -> seoul] VMM: #   IOAPIC[0]: apic_id 0, version 32, address 0xfec00000, GSI 0-23

[init -> seoul] VMM: #   ACPI: INT_SRC_OVR (bus 0 bus_irq 0 global_irq 2 dfl dfl)

[init -> seoul] VMM: #   ACPI: NMI_SRC (dfl dfl global_irq 23)

[init -> seoul] VMM: #   Using ACPI (MADT) for SMP configuration information

[init -> seoul] VMM: #   SMP: Allowing 3 CPUs, 0 hotplug CPUs

[init -> seoul] VMM: #   PM: Registered nosave memory: 0000000000093000 - 0000000000094000

[init -> seoul] VMM: #   PM: Registered nosave memory: 0000000000094000 - 00000000000a0000

[init -> seoul] VMM: #   PM: Registered nosave memory: 00000000000a0000 - 0000000000100000

[init -> seoul] VMM: #   Allocating PCI resources starting at 3a9b3000 (gap: 3a9b3000:c564d000)

[init -> seoul] VMM: #   setup_percpu: NR_CPUS:8 nr_cpumask_bits:8 nr_cpu_ids:3 nr_node_ids:1

[init -> seoul] VMM: #   PERCPU: Embedded 9 pages/cpu @f6c00000 s23232 r0 d13632 u1048576

[init -> seoul] VMM: #   Built 1 zonelists in Zone order, mobility grouping on.  Total pages: 238050

[init -> seoul] VMM: #   Kernel command line: root=/dev/ram0 earlyprintk=ttyS0 console=ttyS0 text  benchm

[init -> seoul] VMM: # |   ark_cmd='make -C /usr/src/linux-* defconfig && make -j 3 -C /usr/src/linux-* bzI

[init -> seoul] VMM: # |   mage'

[init -> seoul] VMM: #   PID hash table entries: 4096 (order: 2, 16384 bytes)

[init -> seoul] VMM: #   Dentry cache hash table entries: 131072 (order: 7, 524288 bytes)

[init -> seoul] VMM: #   Inode-cache hash table entries: 65536 (order: 6, 262144 bytes)

[init -> seoul] VMM: #   Initializing CPU#0

[init -> seoul] VMM: #   Initializing HighMem for node 0 (000377fe:0003a9b3)

[init -> seoul] VMM: #   Memory: 859144k/960204k available (2264k kernel code, 100560k reserved, 937k dat

[init -> seoul] VMM: # |   a, 344k init, 50900k highmem)

[init -> seoul] VMM: #   virtual kernel memory layout:

[init -> seoul] VMM: #       fixmap  : 0xfff17000 - 0xfffff000   ( 928 kB)

[init -> seoul] VMM: #       pkmap   : 0xff800000 - 0xffc00000   (4096 kB)

[init -> seoul] VMM: #       vmalloc : 0xf7ffe000 - 0xff7fe000   ( 120 MB)

[init -> seoul] VMM: #       lowmem  : 0xc0000000 - 0xf77fe000   ( 887 MB)

[init -> seoul] VMM: #         .init : 0xc1321000 - 0xc1377000   ( 344 kB)

[init -> seoul] VMM: #         .data : 0xc12362c0 - 0xc1320900   ( 937 kB)

[init -> seoul] VMM: #         .text : 0xc1000000 - 0xc12362c0   (2264 kB)

[init -> seoul] VMM: #   Checking if this processor honours the WP bit even in supervisor mode...Ok.

[init -> seoul] VMM: #   Preemptible hierarchical RCU implementation.

[init -> seoul] VMM: #   	Verbose stalled-CPUs detection is disabled.

[init -> seoul] VMM: #   NR_IRQS:512

[init -> seoul] VMM: #   Console: colour VGA+ 80x25

[init -> seoul] VMM: #   console [ttyS0] enabled, bootconsole disabled

[init -> seoul] VMM: #   console [ttyS0] enabled, bootconsole disabled

[init -> seoul] VMM: #   Fast TSC calibration using PIT

[init -> seoul] VMM: #   Detected 3399.432 MHz processor.

[init -> seoul] VMM: #   Marking TSC unstable due to TSCs unsynchronized

[init -> seoul] VMM: #   Calibrating delay loop (skipped), value calculated using timer frequency.. 6798.

[init -> seoul] VMM: # |   86 BogoMIPS (lpj=13597728)

[init -> seoul] VMM: #   pid_max: default: 32768 minimum: 301

[init -> seoul] VMM: #   Mount-cache hash table entries: 512

[init -> seoul] VMM: #   ACPI: Core revision 20110623

[init -> seoul] VMM: #   Enabling APIC mode:  Flat.  Using 1 I/O APICs

[init -> seoul] VMM: #   ..TIMER: vector=0x30 apic1=0 pin1=2 apic2=-1 pin2=-1

[init -> seoul] VMM: #   CPU0: NOVA microHV Vancouver VMM proudly presents this VirtualCPU.  stepping 03

[init -> seoul] VMM: #   Performance Events: 

[init -> seoul] VMM: #   Booting Node   0, Processors  #1

[init -> seoul] VMM: #   Initializing CPU#1

[init -> seoul] VMM: #    #2 Ok.

[init -> seoul] VMM: #   Initializing CPU#2

[init -> seoul] VMM: #   Brought up 3 CPUs

[init -> seoul] VMM: #   Total of 3 processors activated (20401.73 BogoMIPS).

[init -> seoul] VMM: #   NET: Registered protocol family 16

[init -> seoul] VMM: #   ACPI: bus type pci registered

[init -> seoul] VMM: #   PCI: MMCONFIG for domain 0000 [bus 00-0f] at [mem 0xe0000000-0xe0ffffff] (base 0

[init -> seoul] VMM: # |   xe0000000)

[init -> seoul] VMM: #   PCI: not using MMCONFIG

[init -> seoul] VMM: #   PCI: Using configuration type 1 for base access

[init -> seoul] VMM: #   bio: create slab <bio-0> at 0

[init -> seoul] VMM: #   ACPI: Added _OSI(Module Device)

[init -> seoul] VMM: #   ACPI: Added _OSI(Processor Device)

[init -> seoul] VMM: #   ACPI: Added _OSI(3.0 _SCP Extensions)

[init -> seoul] VMM: #   ACPI: Added _OSI(Processor Aggregator Device)

[init -> seoul] VMM: #   ACPI Exception: AE_BAD_ADDRESS, Unable to initialize fixed events (20110623/evev

[init -> seoul] VMM: # |   ent-82)

[init -> seoul] VMM: #   ACPI: Unable to start the ACPI Interpreter

[init -> seoul] VMM: #   vgaarb: loaded

[init -> seoul] VMM: #   SCSI subsystem initialized

[init -> seoul] VMM: #   PCI: Probing PCI hardware

[init -> seoul] VMM: #   FS-Cache: Loaded

[init -> seoul] VMM: #   pnp: PnP ACPI: disabled

[init -> seoul] VMM: Deactivated text buffer loop.

[init -> seoul] VMM: #   Switching to clocksource acpi_pm

[init -> seoul] VMM: #   NET: Registered protocol family 2

[init -> seoul] VMM: #   Switched to NOHz mode on CPU #0

[init -> seoul] VMM: #   Switched to NOHz mode on CPU #1

[init -> seoul] VMM: #   Switched to NOHz mode on CPU #2

[init -> seoul] VMM: #   IP route cache hash table entries: 32768 (order: 5, 131072 bytes)

[init -> seoul] VMM: #   TCP established hash table entries: 131072 (order: 8, 1048576 bytes)

[init -> seoul] VMM: #   TCP bind hash table entries: 65536 (order: 7, 524288 bytes)

[init -> seoul] VMM: #   TCP: Hash tables configured (established 131072 bind 65536)

[init -> seoul] VMM: #   TCP reno registered

[init -> seoul] VMM: #   UDP hash table entries: 512 (order: 2, 16384 bytes)

[init -> seoul] VMM: #   UDP-Lite hash table entries: 512 (order: 2, 16384 bytes)

[init -> seoul] VMM: #   NET: Registered protocol family 1

[init -> seoul] VMM: #   Trying to unpack rootfs image as initramfs...

[init -> seoul] VMM: #   Freeing initrd memory: 88024k freed

[init -> seoul] VMM: #   platform rtc_cmos: registered platform RTC device (no PNP device found)

[init -> seoul] VMM: #   Intel AES-NI instructions are not detected.

[init -> seoul] VMM: #   highmem bounce pool size: 64 pages

[init -> seoul] VMM: #   HugeTLB registered 4 MB page size, pre-allocated 0 pages

[init -> seoul] VMM: #   squashfs: version 4.0 (2009/01/31) Phillip Lougher

[init -> seoul] VMM: #   msgmni has been set to 1750

[init -> seoul] VMM: #   io scheduler noop registered

[init -> seoul] VMM: #   io scheduler deadline registered (default)

[init -> seoul] VMM: #   io scheduler cfq registered

[init -> seoul] VMM: #   Serial: 8250/16550 driver, 4 ports, IRQ sharing enabled

[init -> seoul] VMM: #   serial8250: ttyS0 at I/O 0x3f8 (irq = 4) is a 16450

[init -> seoul] VMM: #   Non-volatile memory driver v1.3

[init -> seoul] VMM: #   brd: module loaded

[init -> seoul] VMM: #   loop: module loaded

[init -> seoul] VMM: #   e1000e: Intel(R) PRO/1000 Network Driver - 1.4.4-k

[init -> seoul] VMM: #   e1000e: Copyright(c) 1999 - 2011 Intel Corporation.

[init -> seoul] VMM: #   Intel(R) Virtual Function Network Driver - version 2.0.0-k

[init -> seoul] VMM: #   Copyright (c) 2009 - 2010 Intel Corporation.

[init -> seoul] VMM: #   i8042: PNP: No PS/2 controller found. Probing ports directly.

[init -> seoul] VMM: #   serio: i8042 KBD port at 0x60,0x64 irq 1

[init -> seoul] VMM: #   serio: i8042 AUX port at 0x60,0x64 irq 12

[init -> seoul] VMM: #   mousedev: PS/2 mouse device common for all mice

[init -> seoul] VMM: #   input: AT Translated Set 2 keyboard as /devices/platform/i8042/serio0/input/inpu

[init -> seoul] VMM: # |   t0

[init -> seoul] VMM: #   input: PC Speaker as /devices/platform/pcspkr/input/input1

[init -> seoul] VMM: #   rtc_cmos rtc_cmos: rtc core: registered rtc_cmos as rtc0

[init -> seoul] VMM: #   rtc0: alarms up to one day, 114 bytes nvram

[init -> seoul] VMM: #   cpuidle: using governor ladder

[init -> seoul] VMM: #   cpuidle: using governor menu

[init -> seoul] VMM: #   zram: num_devices not specified. Using default: 1

[init -> seoul] VMM: #   zram: Creating 1 devices ...

[init -> seoul] VMM: #   TCP cubic registered

[init -> seoul] VMM: #   NET: Registered protocol family 17

[init -> seoul] VMM: #   Using IPI No-Shortcut mode

[init -> seoul] VMM: #   input: PS/2 Generic Mouse as /devices/platform/i8042/serio1/input/input2

[init -> seoul] VMM: #   rtc_cmos rtc_cmos: setting system clock to 2019-05-08 17:02:50 UTC (1557334970)

[init -> seoul] VMM: #   Freeing unused kernel memory: 344k freed

[init -> seoul] VMM: #   Write protecting the kernel text: 2268k

[init -> seoul] VMM: #   Write protecting the kernel read-only data: 688k

[init -> seoul] VMM: #   Starting logging: OK

[init -> seoul] VMM: #   Initializing random number generator... done.

[init -> seoul] VMM: #   Starting network...

[init -> seoul] VMM: #   Preparing benchmark: 

[init -> seoul] VMM: #   Starting benchmark: make -C /usr/src/linux-* defconfig && make -j 3 -C /usr/src/

[init -> seoul] VMM: # |   linux-* bzImage

[init -> seoul] VMM: #   ! PERF: kbuild  149 s ok[


Test succeeded

Run script execution successful.