Hello World. Need 00b96000 bytes to relocate modules. Relocating to 7890b000: Copying 4194304 bytes... Copying 394240 bytes... Copying 416040 bytes... Copying 571376 bytes... Copying 563400 bytes... Copying 386824 bytes... Copying 348160 bytes... Copying 480624 bytes... Copying 1280 bytes... Copying 1140896 bytes... Copying 374800 bytes... Copying 380736 bytes... Copying 465056 bytes... Copying 442472 bytes... Copying 2935 bytes... Copying 844024 bytes... Copying 1101164 bytes... NOVA Microhypervisor v7-2b4f280 (x86_64): Jan 8 2015 16:45:23 [gcc 4.7.2] [ 0] CORE:0:0:0 6:17:a:7 [a07] Intel(R) Core(TM)2 Duo CPU P8400 @ 2.26GHz [ 1] CORE:0:1:0 6:17:a:7 [a07] Intel(R) Core(TM)2 Duo CPU P8400 @ 2.26GHz [ 0] DMAR:0xffffffff81021078 FRR:0 FR:0x5 BDF:0:2:0 FI:0xffffff000 Hypervisor features VMX Hypervisor does not feature SVM Hypervisor reports 2x1 CPUs - boot CPU is 0 Hypervisor info page contains 47 memory descriptors: detected physical memory: 0x0000000000000000 - size: 0x8a000 use physical memory: 0x0000000000000000 - size: 0x8a000 detected physical memory: 0x0000000000100000 - size: 0x793a1000 use physical memory: 0x0000000000100000 - size: 0x793a1000 detected physical memory: 0x00000000794a7000 - size: 0x110000 use physical memory: 0x00000000794a7000 - size: 0x110000 detected physical memory: 0x000000007960f000 - size: 0xb7000 use physical memory: 0x000000007960f000 - size: 0xb7000 detected physical memory: 0x00000000799ff000 - size: 0x1000 use physical memory: 0x00000000799ff000 - size: 0x1000 map multi-boot module: physical 0x78a18000 -> [0x001cd000-0x0029b0f8) - core map multi-boot module: physical 0x78ae7000 -> [0x00002000-0x00002b77) - config map multi-boot module: physical 0x78ae8000 -> [0x00006000-0x00072068) - init map multi-boot module: physical 0x78b55000 -> [0x00076000-0x000e78a0) - pci_drv map multi-boot module: physical 0x78bc7000 -> [0xb0000000-0xb005cf40) - timer map multi-boot module: physical 0x78c24000 -> [0x0029f000-0x002fa810) - rtc_drv map multi-boot module: physical 0x78c80000 -> [0x002fc000-0x004128a0) - seoul map multi-boot module: physical 0x78d97000 -> [0x000f1000-0x000f1500) - vm_seoul.cfg map multi-boot module: physical 0x78d98000 -> [0x00414000-0x00489570) - acpi_drv map multi-boot module: physical 0x78e0e000 -> [0x0048b000-0x004e0000) - pci_device_pd map multi-boot module: physical 0x78e64000 -> [0x004e0000-0x0053e708) - ps2_drv map multi-boot module: physical 0x78ec3000 -> [0x00540000-0x005c98c8) - nic_drv map multi-boot module: physical 0x78f4d000 -> [0x005cb000-0x006567f0) - fb_drv map multi-boot module: physical 0x78fd9000 -> [0x00658000-0x006bd928) - rom_blk map multi-boot module: physical 0x7903f000 -> [0x006c1000-0x00721400) - iso9660 map multi-boot module: physical 0x790a0000 -> [0x00726000-0x00b26000) - genode.iso :virt_alloc: Allocator 18d130 dump: Block: [00002000,00004000) size=00002000 avail=00000000 max_avail=00000000 Block: [00004000,00005000) size=00001000 avail=00000000 max_avail=00000000 Block: [00005000,00006000) size=00001000 avail=00000000 max_avail=00000000 Block: [00006000,00074000) size=0006e000 avail=00000000 max_avail=00000000 Block: [00074000,00075000) size=00001000 avail=00000000 max_avail=00000000 Block: [00075000,00076000) size=00001000 avail=00000000 max_avail=00000000 Block: [00076000,000e9000) size=00073000 avail=00000000 max_avail=00000000 Block: [000e9000,000ea000) size=00001000 avail=00000000 max_avail=00000000 Block: [000ea000,000eb000) size=00001000 avail=00000000 max_avail=00000000 Block: [000eb000,000ec000) size=00001000 avail=00000000 max_avail=00000000 Block: [000ec000,000ed000) size=00001000 avail=00000000 max_avail=00000000 Block: [000ed000,000ee000) size=00001000 avail=00000000 max_avail=00000000 Block: [000ee000,000ef000) size=00001000 avail=00000000 max_avail=00000000 Block: [000ef000,000f0000) size=00001000 avail=00000000 max_avail=00000000 Block: [000f0000,000f1000) size=00001000 avail=00000000 max_avail=7fff400f8000 Block: [000f1000,000f3000) size=00002000 avail=00000000 max_avail=00000000 Block: [000f3000,000f4000) size=00001000 avail=00000000 max_avail=00000000 Block: [000f4000,000f5000) size=00001000 avail=00000000 max_avail=00000000 Block: [000f5000,000f6000) size=00001000 avail=00000000 max_avail=00000000 Block: [000f6000,000f7000) size=00001000 avail=00000000 max_avail=00000000 Block: [000f7000,000f9000) size=00002000 avail=00000000 max_avail=00000000 Block: [000f9000,000fa000) size=00001000 avail=00000000 max_avail=00000000 Block: [000fa000,000fb000) size=00001000 avail=00000000 max_avail=00000000 Block: [000fb000,000fc000) size=00001000 avail=00000000 max_avail=00000000 Block: [000fc000,000fd000) size=00001000 avail=00000000 max_avail=00000000 Block: [000fd000,000fe000) size=00001000 avail=00000000 max_avail=00000000 Block: [000fe000,000ff000) size=00001000 avail=00000000 max_avail=00000000 Block: [000ff000,00100000) size=00001000 avail=00000000 max_avail=00000000 Block: [001cd000,0029d000) size=000d0000 avail=00000000 max_avail=00000000 Block: [0029d000,0029e000) size=00001000 avail=00000000 max_avail=7fff400f8000 Block: [0029e000,0029f000) size=00001000 avail=00000000 max_avail=00000000 Block: [0029f000,002fc000) size=0005d000 avail=00000000 max_avail=00000000 Block: [002fc000,00414000) size=00118000 avail=00000000 max_avail=00000000 Block: [00414000,0048b000) size=00077000 avail=00000000 max_avail=00000000 Block: [0048b000,004e0000) size=00055000 avail=00000000 max_avail=00000000 Block: [004e0000,00540000) size=00060000 avail=00000000 max_avail=00000000 Block: [00540000,005cb000) size=0008b000 avail=00000000 max_avail=00000000 Block: [005cb000,00658000) size=0008d000 avail=00000000 max_avail=00000000 Block: [00658000,006bf000) size=00067000 avail=00000000 max_avail=00000000 Block: [006bf000,006c0000) size=00001000 avail=00000000 max_avail=00000000 Block: [006c0000,006c1000) size=00001000 avail=00000000 max_avail=00000000 Block: [006c1000,00723000) size=00062000 avail=00000000 max_avail=7fff400f8000 Block: [00723000,00724000) size=00001000 avail=00000000 max_avail=00000000 Block: [00724000,00725000) size=00001000 avail=00000000 max_avail=00000000 Block: [00725000,00726000) size=00001000 avail=00000000 max_avail=00000000 Block: [00726000,00b26000) size=00400000 avail=00000000 max_avail=00000000 Block: [00b26000,00b28000) size=00002000 avail=00000000 max_avail=00000000 Block: [00b28000,00b29000) size=00001000 avail=00000000 max_avail=7fff400f8000 Block: [00b29000,00b2a000) size=00001000 avail=00000000 max_avail=00000000 Block: [00b2a000,a0000000) size=9f4d6000 avail=9f4d6000 max_avail=9f4d6000 Block: [b0000000,b005e000) size=0005e000 avail=00000000 max_avail=7fff400f8000 Block: [b005e000,bfeff000) size=0fea1000 avail=0fea1000 max_avail=7fff400f8000 Block: [bff04000,7fffffffc000) size=7fff400f8000 avail=7fff400f8000 max_avail=7fff400f8000 => mem_size=140737219035136 (134217471 MB) / mem_avail=140737207791616 (134217460 MB) :phys_alloc: Allocator 18c080 dump: Block: [00001000,0008a000) size=00089000 avail=00089000 max_avail=00089000 Block: [00100000,00400000) size=00300000 avail=00300000 max_avail=76217000 Block: [02800000,02801000) size=00001000 avail=00000000 max_avail=00000000 Block: [02801000,78a18000) size=76217000 avail=76217000 max_avail=76217000 Block: [794a7000,794a8000) size=00001000 avail=00000000 max_avail=76217000 Block: [794a8000,795b7000) size=0010f000 avail=0010f000 max_avail=0010f000 Block: [7960f000,79610000) size=00001000 avail=00000000 max_avail=0010f000 Block: [79610000,79611000) size=00001000 avail=00000000 max_avail=0010f000 Block: [79611000,79612000) size=00001000 avail=00000000 max_avail=00000000 Block: [79612000,79613000) size=00001000 avail=00000000 max_avail=00000000 Block: [79613000,79614000) size=00001000 avail=00000000 max_avail=76217000 Block: [79614000,79615000) size=00001000 avail=00000000 max_avail=00000000 Block: [79615000,79616000) size=00001000 avail=00000000 max_avail=00000000 Block: [79616000,79617000) size=00001000 avail=00000000 max_avail=00000000 Block: [79617000,79618000) size=00001000 avail=00000000 max_avail=00000000 Block: [79618000,79619000) size=00001000 avail=00000000 max_avail=00000000 Block: [79619000,7961a000) size=00001000 avail=00000000 max_avail=00000000 Block: [7961a000,7961b000) size=00001000 avail=00000000 max_avail=00000000 Block: [7961b000,7961c000) size=00001000 avail=00000000 max_avail=00000000 Block: [7961c000,7961d000) size=00001000 avail=00000000 max_avail=00000000 Block: [7961d000,7961e000) size=00001000 avail=00000000 max_avail=00000000 Block: [7961e000,7961f000) size=00001000 avail=00000000 max_avail=00000000 Block: [7961f000,79620000) size=00001000 avail=00000000 max_avail=76217000 Block: [79620000,79621000) size=00001000 avail=00000000 max_avail=00000000 Block: [79621000,79622000) size=00001000 avail=00000000 max_avail=00000000 Block: [79622000,79623000) size=00001000 avail=00000000 max_avail=00000000 Block: [79623000,79624000) size=00001000 avail=00000000 max_avail=00000000 Block: [79624000,79625000) size=00001000 avail=00000000 max_avail=00000000 Block: [79625000,79626000) size=00001000 avail=00000000 max_avail=0009a000 Block: [79626000,79627000) size=00001000 avail=00000000 max_avail=00000000 Block: [79627000,79628000) size=00001000 avail=00000000 max_avail=00000000 Block: [79628000,79629000) size=00001000 avail=00000000 max_avail=0009a000 Block: [79629000,7962a000) size=00001000 avail=00000000 max_avail=00000000 Block: [7962a000,7962b000) size=00001000 avail=00000000 max_avail=0009a000 Block: [7962b000,7962c000) size=00001000 avail=00000000 max_avail=00000000 Block: [7962c000,796c6000) size=0009a000 avail=0009a000 max_avail=0009a000 Block: [799ff000,79a00000) size=00001000 avail=00000000 max_avail=00000000 => mem_size=1987481600 (1895 MB) / mem_avail=1987350528 (1895 MB) :io_mem_alloc: Allocator 18e1f8 dump: Block: [00000000,00001000) size=00001000 avail=00001000 max_avail=00001000 Block: [0008a000,00100000) size=00076000 avail=00076000 max_avail=02400000 Block: [00400000,02800000) size=02400000 avail=02400000 max_avail=02400000 Block: [78a18000,78e63000) size=0044b000 avail=0044b000 max_avail=02400000 Block: [78e64000,794a0000) size=0063c000 avail=0063c000 max_avail=0063c000 Block: [794a1000,794a7000) size=00006000 avail=00006000 max_avail=ffffffff865ff000 Block: [795b7000,7960f000) size=00058000 avail=00058000 max_avail=00058000 Block: [796c6000,799ff000) size=00339000 avail=00339000 max_avail=ffffffff865ff000 Block: [79a00000,fffffffffffff000) size=ffffffff865ff000 avail=ffffffff865ff000 max_avail=ffffffff865ff000 => mem_size=18446744071722057728 (17592186042520 MB) / mem_avail=18446744071722057728 (17592186042520 MB) Genode 14.11 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 1894 MB to init [init] Could not open file "ld.lib.so" [init] parent provides [init] service "ROM" [init] service "RAM" [init] service "IRQ" [init] service "IO_MEM" [init] service "IO_PORT" [init] service "CAP" [init] service "PD" [init] service "RM" [init] service "CPU" [init] service "LOG" [init] service "SIGNAL" [init] child "timer" [init] RAM quota: 884736 [init] ELF binary: timer [init] priority: 0 [init] provides service Timer [init] child "rtc_drv" [init] RAM quota: 884736 [init] ELF binary: rtc_drv [init] priority: 1 [init] provides service Rtc [init] child "ps2_drv" [init] RAM quota: 2981888 [init] ELF binary: ps2_drv [init] priority: 1 [init] provides service Input Quota exceeded! amount=24576, size=4096, consumed=24576 [init] upgrading quota donation for Env::CPU (8192 bytes) [init] child "rom_blk" [init] RAM quota: 16613376 [init] ELF binary: rom_blk [init] priority: 1 [init] provides service Block [init] child "iso9660" [init] RAM quota: 16613376 [init] ELF binary: iso9660 [init] priority: 1 [init] provides service ROM Quota exceeded! amount=32768, size=4096, consumed=32768 [init] upgrading quota donation for Env::CPU (8192 bytes) [init] child "acpi" [init] RAM quota: 8224768 [init] ELF binary: acpi_drv [init] priority: 1 [init] provides service PCI [init] provides service IRQ [init] child "nic_drv" [init] RAM quota: 2981888 [init] ELF binary: nic_drv [init] priority: 2 [init] provides service Nic Quota exceeded! amount=40960, size=4096, consumed=40960 [init] upgrading quota donation for Env::CPU (8192 bytes) [init] child "fb_drv" [init] RAM quota: 8224768 [init] ELF binary: fb_drv [init] priority: 1 [init] provides service Framebuffer [init] child "seoul" [init] RAM quota: 134053888 [init] ELF binary: seoul [init] priority: 3 [init] child "timer" announces service "Timer" [init] child "rtc_drv" announces service "Rtc" [init] child "rom_blk" announces service "Block" [init -> rom_blk] Using file=genode.iso as device with block size 800. [init -> acpi] available memory for ACPI 2048 kiB, for PCI_DRV 5464 kiB [init] child "iso9660" announces service "ROM" [init -> acpi] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = long unsigned int; Genode::uint32_t = unsigned int]: Found MADT [init -> acpi] MADT IRQ 0 -> GSI 2 flags: 0 [init -> acpi] MADT IRQ 9 -> GSI 9 flags: d [init -> acpi] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = long unsigned int; Genode::uint32_t = unsigned int]: Found MCFG [init -> acpi] MCFG BASE 0xe0000000 seg 00 bus 00-3f [init -> acpi] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = long unsigned int; Genode::uint32_t = unsigned int]: Found DMAR [init -> acpi] 36 bit DMA physical addressable [init -> acpi] RMRR: [0xfc226c00,0xfc2273ff] - DMA region reported by BIOS [init -> ps2_drv] Using keyboard with scan code set 1 (xlate). [init -> acpi] RMRR: [0x79c00000,0x7bffffff] - DMA region reported by BIOS [init] child "ps2_drv" announces service "Input" [init -> acpi -> pci_drv] PCI driver started [init -> acpi -> pci_drv -> pci_device_pd] PCI device pd starting ... [init -> acpi -> pci_drv -> pci_device_pd] PCI device pd started [init -> acpi -> pci_drv] 00 BDF start 0, functions: 0x4000, physical base 0xe0000000 [init -> acpi] ACPI table format is supported - rewrite GSIs [init -> acpi] Rewriting 00:02.0 IRQ: 11 -> GSI: 16 [init -> acpi] Rewriting 00:03.0 IRQ: 11 -> GSI: 16 [init -> acpi] Rewriting 00:03.2 IRQ: 11 -> GSI: 18 [init -> acpi] Rewriting 00:03.3 IRQ: 11 -> GSI: 17 [init -> acpi] Rewriting 00:19.0 IRQ: 11 -> GSI: 20 [init -> acpi] Rewriting 00:1a.0 IRQ: 11 -> GSI: 20 [init -> acpi] Rewriting 00:1a.1 IRQ: 11 -> GSI: 21 [init -> acpi] Rewriting 00:1a.2 IRQ: 11 -> GSI: 22 [init -> acpi] Rewriting 00:1a.7 IRQ: 11 -> GSI: 23 [init -> acpi] Rewriting 00:1b.0 IRQ: 11 -> GSI: 17 [init -> acpi] Rewriting 00:1d.0 IRQ: 11 -> GSI: 16 [init -> acpi] Rewriting 00:1d.1 IRQ: 11 -> GSI: 17 [init -> acpi] Rewriting 00:1d.2 IRQ: 11 -> GSI: 18 [init -> acpi] Rewriting 00:1d.7 IRQ: 11 -> GSI: 19 [init -> acpi] Rewriting 00:1f.2 IRQ: 11 -> GSI: 16 [init -> acpi] Rewriting 00:1f.3 IRQ: 11 -> GSI: 23 [init -> acpi] Rewriting 03:00.0 IRQ: 11 -> GSI: 17 [init -> acpi] Rewriting 15:00.0 IRQ: 11 -> GSI: 16 [init -> acpi] Rewriting 15:00.1 IRQ: 11 -> GSI: 17 [init -> acpi] Rewriting 15:00.2 IRQ: 11 -> GSI: 18 [init -> acpi] Rewriting 15:00.3 IRQ: 11 -> GSI: 18 [init -> acpi] Rewriting 15:00.4 IRQ: 11 -> GSI: 18 [init -> acpi] Rewriting 15:00.5 IRQ: 11 -> GSI: 18 [init] child "acpi" announces service "PCI" [init] child "acpi" announces service "IRQ" [init -> fb_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): fb mapped to 1000 [init] child "fb_drv" announces service "Framebuffer" [init -> nic_drv] --- iPXE NIC driver started --- [init] child "nic_drv" announces service "Nic" [init -> seoul] --- Vancouver VMM starting --- unmapping of managed dataspaces not yet supported [init -> seoul] [0x000000000000, 0x000007720000) - 119 MiB - VM accessible memory [init -> seoul] [0x000008000000, 0x00000f320000) - 119 MiB - VMM accessible shadow mapping of VM memory [init -> seoul] [0x00000f320000, 0x00000f720000) - 4 MiB - VMM accessible framebuffer memory of VM [init -> seoul] [0x0000a0000000, 0x0000b0000000) - Genode thread context area [init -> seoul] [0x7fffff800000, 0x7fffff940f20) - VMM program image [init -> seoul] [init -> seoul] --- Setup VM --- [init -> fb_drv] Found: VESA BIOS version 3.0 [init -> fb_drv] OEM: Intel(r)Cantiga Graphics Chip Accelerated VGA BIOS [init -> fb_drv] Found: physical frame buffer at 0xd0000000 size: 0x01ff0000 [init -> fb_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): fb mapped to 1400000 [init -> fb_drv] bytes_per_scanline 2048, linear_bytes_per_scanline 2048 [init -> fb_drv] overriding width to 1024 [init -> fb_drv] Using video mode: 1024 x 768 x 16 [init -> fb_drv] Framebuffer::Session_component::Session_component(unsigned int, unsigned int, unsigned int, Genode::Dataspace_capability, bool): use buf size 1572864 [init -> fb_drv] using buffered output [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: Hello, this is Vancouver_disk. [init -> seoul] VMM: physmem: 0 [100000, 7320000] [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] VMM: Creating alarm thread [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 50c33a4f5f080 [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] arg[1]: 0x1000 [init -> seoul] VMM: _alloc_fb_mem -> len=0x400000, ptr=0x8000000 [init -> seoul] VMM: VGA console 7320000+400000 f320000 [init -> seoul] device: vbios_keyboard [init -> seoul] VMM: Ignored parameter: '*s' [init -> seoul] device: vbios_mem [init -> seoul] device: vbios_time [init -> seoul] device: vbios_reset [init -> seoul] device: vbios_multiboot [init -> seoul] arg[0]: 0x2800000 [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 Quota exceeded! amount=24576, size=4096, consumed=24576 [init -> seoul] upgrading quota donation for Env::CPU (8192 bytes) int main(): --- init created, waiting for exit condition --- [init -> seoul] device: halifax [init -> seoul] device: vbios [init -> seoul] device: lapic [init -> seoul] VMM: LAPIC freq 141341187 [init -> seoul] device: intel82576vf [init -> nic_drv] --- init iPXE NIC [init -> nic_drv] scan_pci(): Found: 00:19.0 8086:10f5 (rev 03) IRQ 14 [init -> nic_drv] probe_pci_device(): using driver 82567lm [init -> nic_drv] adjust_pci_device(): PCI device 00:19.0 latency timer is unreasonably low at 0. Setting to 32. [init -> nic_drv] ioremap(): bus_addr = fc000000 len = 20000 [init -> seoul] VMM: Deactivated text buffer loop. [init -> nic_drv] snprintf not implemented Quota exceeded! amount=24576, size=4096, consumed=24576 [init -> nic_drv] upgrading quota donation for Env::CPU (8192 bytes) [init -> nic_drv] number of devices: 1 [init -> nic_drv] --- init rx_callbacks [init -> nic_drv] --- get MAC address 00:22:68:14:68:b2 [init -> seoul] Our mac address is 00:22:68:14:68:ffffffb2 Quota exceeded! amount=32768, size=4096, consumed=32768 [init -> seoul] upgrading quota donation for Env::CPU (8192 bytes) [init -> seoul] VMM: Attached 82576VF model at f7ce0000+0x4000, f7cc0000+0x1000 [init -> seoul] [init -> seoul] --- Booting VM --- [init -> seoul] VM and VMM are co-located. VM is starting with 1 vCPU. [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: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 0 cr0 10 efl 2 [init -> iso9660] request for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] request for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] request for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] request for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] request for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented ...