$ make run/seoul-auto including /home/parfait/git/Genode/genode/tool/run/boot_dir/nova including /home/parfait/git/Genode/genode/tool/run/power_on/qemu including /home/parfait/git/Genode/genode/tool/run/log/qemu including /home/parfait/git/Genode/genode/tool/run/image/iso including /home/parfait/git/Genode/genode/repos/ports/run/seoul-auto.run building targets: core init drivers/timer drivers/rtc drivers/input app/seoul drivers/nic drivers/framebuffer drivers/platform drivers/acpi server/report_rom drivers/platform/spec/x86/device_pd spawn make core init drivers/timer drivers/rtc drivers/input app/seoul drivers/nic drivers/framebuffer drivers/platform drivers/acpi server/report_rom drivers/platform/spec/x86/device_pd make[1]: entrant dans le répertoire « /home/parfait/git/Genode/genode/build/nova_x86_64 » checking library dependencies... Skip target app/seoul/spec/32bit because it requires 32bit Skip target drivers/framebuffer/spec/exynos because it requires exynos Skip target drivers/framebuffer/spec/imx53 because it requires imx53 Skip target drivers/framebuffer/spec/omap4 because it requires omap4 Skip target drivers/framebuffer/spec/pl11x/pbxa9 because it requires pl11x pbxa9 Skip target drivers/framebuffer/spec/rpi because it requires rpi Skip target drivers/framebuffer/spec/sdl because it requires linux sdl Skip target drivers/input/spec/imx53 because it requires imx53 Skip target drivers/input/spec/ps2/pl050 because it requires pl050 Skip target drivers/nic/spec/lan9118 because it requires lan9118 Skip target drivers/nic/spec/linux because it requires linux Skip target drivers/platform/spec/arndale because it requires arndale Skip target drivers/platform/spec/imx53 because it requires imx53 Skip target drivers/platform/spec/odroid_x2 because it requires odroid_x2 Skip target drivers/platform/spec/rpi because it requires rpi Library platform Library cxx Library syscall Library startup Library base-common Library core Program core/core COMPILE version.o LINK core Library base Program drivers/acpi/spec/x86/acpi_drv Library blit Library x86emu Library config Program drivers/framebuffer/vesa/fb_drv Library server Program drivers/input/dummy/dummy_input_drv Program drivers/input/spec/ps2/x86/ps2_drv Library dde_ipxe_nic Program drivers/nic/nic_drv Program drivers/platform/spec/x86/device_pd/device_pd Program drivers/platform/spec/x86/platform_drv Program drivers/rtc/spec/x86/rtc_drv Library alarm Library timer Program drivers/timer/timer Library init_pd_args Program init/init Program server/report_rom/report_rom Library seoul_libc_support Program app/seoul/spec/64bit/seoul make[1]: quittant le répertoire « /home/parfait/git/Genode/genode/build/nova_x86_64 » genode build completed building targets: kernel spawn make kernel make[1]: entrant dans le répertoire « /home/parfait/git/Genode/genode/build/nova_x86_64 » checking library dependencies... Program kernel/hypervisor make[1]: quittant le répertoire « /home/parfait/git/Genode/genode/build/nova_x86_64 » genode build completed using NOVA kernel at /home/parfait/git/Genode/genode/build/nova_x86_64/kernel/hypervisor install bootloader creating ISO image... Warning: -follow-links does not always work correctly; be careful. Size of boot image is 4 sectors -> No emulation 71.69% done, estimate finish Fri Oct 9 19:16:10 2015 Total translation table size: 2048 Total rockridge attributes bytes: 3031 Total directory bytes: 10240 Path table size(bytes): 64 Max brk space used 19000 6981 extents written (13 MB) spawn qemu-system-x86_64 -cpu core2duo -m 512 -cpu phenom -net nic,model=e1000 -serial mon:stdio -cdrom var/run/seoul-auto.iso Warning: vlan 0 is not connected to host network Bender: Hello World. Need 01c02000 bytes to relocate modules. Relocating to 1e3fb000: Copying 334512 bytes... Copying 397640 bytes... Copying 320992 bytes... Copying 461632 bytes... Copying 21200896 bytes... Copying 1858752 bytes... Copying 2356 bytes... Copying 556512 bytes... Copying 515688 bytes... Copying 381280 bytes... Copying 1221 bytes... Copying 1096512 bytes... Copying 384760 bytes... Copying 372024 bytes... Copying 388304 bytes... Copying 3570 bytes... Copying 937960 bytes... Copying 126168 bytes... NOVA Microhypervisor v7-acacde2 (x86_64): Oct 7 2015 23:37:30 [gcc 4.9.2] [ 0] CORE:0:0:0 10:2:3:0 [0] AMD Phenom(tm) 9550 Quad-Core Processor Hypervisor features SVM Hypervisor reports 1x1 CPU - boot CPU is 0 CPU has no invariant TSC. Hypervisor info page contains 24 memory descriptors: detected physical memory: 0x0000000000000000 - size: 0x9f400 use physical memory: 0x0000000000000000 - size: 0x9f000 detected physical memory: 0x0000000000100000 - size: 0x1fefd000 use physical memory: 0x0000000000100000 - size: 0x1fefd000 map multi-boot module: physical 0x1e41a000 -> [0x001e4000-0x002c8fe8) - core map multi-boot module: physical 0x1e4ff000 -> [0x00002000-0x00002df2) - config map multi-boot module: physical 0x1e500000 -> [0x00006000-0x00064cd0) - init map multi-boot module: physical 0x1e55f000 -> [0x00068000-0x000c2d38) - timer map multi-boot module: physical 0x1e5ba000 -> [0xb0000000-0xb005def8) - rtc_drv map multi-boot module: physical 0x1e618000 -> [0x002cc000-0x003d7b40) - seoul map multi-boot module: physical 0x1e724000 -> [0x000ca000-0x000ca4c5) - vm_seoul.cfg map multi-boot module: physical 0x1e725000 -> [0x003d9000-0x00436160) - ps2_drv map multi-boot module: physical 0x1e783000 -> [0x00438000-0x004b5e68) - nic_drv map multi-boot module: physical 0x1e801000 -> [0x004b7000-0x0053ede0) - fb_drv map multi-boot module: physical 0x1e889000 -> [0x000d4000-0x000d4934) - munich map multi-boot module: physical 0x1e88a000 -> [0x00540000-0x00705cc0) - bzImage-3.1 map multi-boot module: physical 0x1ea50000 -> [0x00707000-0x01b3f000) - seoul-auto.gz map multi-boot module: physical 0x1fe89000 -> [0x01b3f000-0x01bafb40) - platform_drv map multi-boot module: physical 0x1fefa000 -> [0x01bb1000-0x01bff5e0) - acpi_drv map multi-boot module: physical 0x1ff49000 -> [0x01c01000-0x01c62148) - report_rom map multi-boot module: physical 0x1ffab000 -> [0x01c64000-0x01cb5ab0) - device_pd :virt_alloc: Allocator 18cba0 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,00066000) size=00060000 avail=00000000 max_avail=00000000 Block: [00066000,00067000) size=00001000 avail=00000000 max_avail=00000000 Block: [00067000,00068000) size=00001000 avail=00000000 max_avail=00000000 Block: [00068000,000c4000) size=0005c000 avail=00000000 max_avail=00000000 Block: [000c4000,000c5000) size=00001000 avail=00000000 max_avail=00000000 Block: [000c5000,000c6000) size=00001000 avail=00000000 max_avail=00000000 Block: [000c6000,000c7000) size=00001000 avail=00000000 max_avail=00000000 Block: [000c7000,000c8000) size=00001000 avail=00000000 max_avail=00000000 Block: [000c8000,000c9000) size=00001000 avail=00000000 max_avail=00000000 Block: [000c9000,000ca000) size=00001000 avail=00000000 max_avail=00000000 Block: [000ca000,000cc000) size=00002000 avail=00000000 max_avail=00000000 Block: [000cc000,000cd000) size=00001000 avail=00000000 max_avail=00000000 Block: [000cd000,000ce000) size=00001000 avail=00000000 max_avail=00000000 Block: [000ce000,000cf000) size=00001000 avail=00000000 max_avail=00000000 Block: [000cf000,000d0000) size=00001000 avail=00000000 max_avail=00000000 Block: [000d0000,000d1000) size=00001000 avail=00000000 max_avail=00000000 Block: [000d1000,000d2000) size=00001000 avail=00000000 max_avail=00000000 Block: [000d2000,000d3000) size=00001000 avail=00000000 max_avail=00000000 Block: [000d3000,000d4000) size=00001000 avail=00000000 max_avail=00000000 Block: [000d4000,000d6000) size=00002000 avail=00000000 max_avail=00000000 Block: [000d6000,000d7000) size=00001000 avail=00000000 max_avail=00000000 Block: [000d7000,000d8000) size=00001000 avail=00000000 max_avail=00000000 Block: [000d8000,000d9000) size=00001000 avail=00000000 max_avail=00000000 Block: [000d9000,000da000) size=00001000 avail=00000000 max_avail=7fff400f8000 Block: [000da000,000dc000) size=00002000 avail=00000000 max_avail=00000000 Block: [000dc000,000dd000) size=00001000 avail=00000000 max_avail=00000000 Block: [000dd000,000de000) size=00001000 avail=00000000 max_avail=00000000 Block: [000de000,000df000) size=00001000 avail=00000000 max_avail=00000000 Block: [000df000,000e0000) size=00001000 avail=00000000 max_avail=00000000 Block: [000e0000,000e1000) size=00001000 avail=00000000 max_avail=00019000 Block: [000e1000,000e2000) size=00001000 avail=00000000 max_avail=00000000 Block: [000e2000,000e3000) size=00001000 avail=00000000 max_avail=00000000 Block: [000e3000,000e4000) size=00001000 avail=00000000 max_avail=00019000 Block: [000e4000,000e5000) size=00001000 avail=00000000 max_avail=00000000 Block: [000e5000,000e6000) size=00001000 avail=00000000 max_avail=00019000 Block: [000e6000,000e7000) size=00001000 avail=00000000 max_avail=00000000 Block: [000e7000,00100000) size=00019000 avail=00019000 max_avail=00019000 Block: [001e4000,002ca000) size=000e6000 avail=00000000 max_avail=00000000 Block: [002ca000,002cb000) size=00001000 avail=00000000 max_avail=7fff400f8000 Block: [002cb000,002cc000) size=00001000 avail=00000000 max_avail=00000000 Block: [002cc000,003d9000) size=0010d000 avail=00000000 max_avail=00000000 Block: [003d9000,00438000) size=0005f000 avail=00000000 max_avail=00000000 Block: [00438000,004b7000) size=0007f000 avail=00000000 max_avail=00000000 Block: [004b7000,00540000) size=00089000 avail=00000000 max_avail=00000000 Block: [00540000,00707000) size=001c7000 avail=00000000 max_avail=7fff400f8000 Block: [00707000,01b3f000) size=01438000 avail=00000000 max_avail=00000000 Block: [01b3f000,01bb1000) size=00072000 avail=00000000 max_avail=00000000 Block: [01bb1000,01c01000) size=00050000 avail=00000000 max_avail=00000000 Block: [01c01000,01c64000) size=00063000 avail=00000000 max_avail=9e349000 Block: [01c64000,01cb7000) size=00053000 avail=00000000 max_avail=00000000 Block: [01cb7000,a0000000) size=9e349000 avail=9e349000 max_avail=9e349000 Block: [b0000000,b005f000) size=0005f000 avail=00000000 max_avail=7fff400f8000 Block: [b005f000,bfeff000) size=0fea0000 avail=0fea0000 max_avail=7fff400f8000 Block: [bff04000,7fffffffc000) size=7fff400f8000 avail=7fff400f8000 max_avail=7fff400f8000 => mem_size=140737218940928 (134217471 MB) / mem_avail=140737189486592 (134217442 MB) :phys_alloc: Allocator 18bae0 dump: Block: [00001000,00002000) size=00001000 avail=00000000 max_avail=00000000 Block: [00002000,00003000) size=00001000 avail=00000000 max_avail=00000000 Block: [00003000,00004000) size=00001000 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,00007000) size=00001000 avail=00000000 max_avail=00000000 Block: [00007000,00008000) size=00001000 avail=00000000 max_avail=00000000 Block: [00008000,00009000) size=00001000 avail=00000000 max_avail=00000000 Block: [00009000,0000a000) size=00001000 avail=00000000 max_avail=00000000 Block: [0000a000,0000b000) size=00001000 avail=00000000 max_avail=00000000 Block: [0000b000,0000c000) size=00001000 avail=00000000 max_avail=00000000 Block: [0000c000,0000d000) size=00001000 avail=00000000 max_avail=00000000 Block: [0000d000,0000e000) size=00001000 avail=00000000 max_avail=00000000 Block: [0000e000,0000f000) size=00001000 avail=00000000 max_avail=00000000 Block: [0000f000,00010000) size=00001000 avail=00000000 max_avail=00000000 Block: [00010000,00011000) size=00001000 avail=00000000 max_avail=00000000 Block: [00011000,00012000) size=00001000 avail=00000000 max_avail=00000000 Block: [00012000,00013000) size=00001000 avail=00000000 max_avail=00000000 Block: [00013000,00014000) size=00001000 avail=00000000 max_avail=00000000 Block: [00014000,00015000) size=00001000 avail=00000000 max_avail=00000000 Block: [00015000,00016000) size=00001000 avail=00000000 max_avail=00000000 Block: [00016000,00017000) size=00001000 avail=00000000 max_avail=00000000 Block: [00017000,00018000) size=00001000 avail=00000000 max_avail=00000000 Block: [00018000,00019000) size=00001000 avail=00000000 max_avail=1bc1a000 Block: [00019000,0001a000) size=00001000 avail=00000000 max_avail=00000000 Block: [0001a000,0001b000) size=00001000 avail=00000000 max_avail=00000000 Block: [0001b000,0001c000) size=00001000 avail=00000000 max_avail=00000000 Block: [0001c000,0001d000) size=00001000 avail=00000000 max_avail=00000000 Block: [0001d000,0001e000) size=00001000 avail=00000000 max_avail=00000000 Block: [0001e000,0001f000) size=00001000 avail=00000000 max_avail=1bc1a000 Block: [0001f000,00020000) size=00001000 avail=00000000 max_avail=00000000 Block: [00020000,00021000) size=00001000 avail=00000000 max_avail=0007d000 Block: [00021000,00022000) size=00001000 avail=00000000 max_avail=00000000 Block: [00022000,0009f000) size=0007d000 avail=0007d000 max_avail=0007d000 Block: [00100000,00101000) size=00001000 avail=00000000 max_avail=1bc1a000 Block: [00101000,00102000) size=00001000 avail=00000000 max_avail=00000000 Block: [00102000,00400000) size=002fe000 avail=002fe000 max_avail=1bc1a000 Block: [02800000,1e41a000) size=1bc1a000 avail=1bc1a000 max_avail=1bc1a000 => mem_size=469467136 (447 MB) / mem_avail=469323776 (447 MB) :io_mem_alloc: Allocator 18dc78 dump: Block: [00000000,00001000) size=00001000 avail=00001000 max_avail=00001000 Block: [0009f000,00100000) size=00061000 avail=00061000 max_avail=ffffffffe0002000 Block: [1fffd000,fffffffffffff000) size=ffffffffe0002000 avail=ffffffffe0002000 max_avail=ffffffffe0002000 => mem_size=18446744073173090304 (17592186043904 MB) / mem_avail=18446744073173090304 (17592186043904 MB) Genode 15.08 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 446 MB to init [init] Could not open ROM session for module "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: 876544 [init] ELF binary: timer [init] priority: 0 [init] provides service Timer [init] child "rtc_drv" [init] RAM quota: 876544 [init] ELF binary: rtc_drv [init] priority: 1 [init] provides service Rtc [init] child "ps2_drv" [init] RAM quota: 2973696 [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 "acpi_drv" [init] RAM quota: 1925120 [init] ELF binary: acpi_drv [init] priority: 1 [init] child "acpi_report_rom" [init] RAM quota: 1925120 [init] ELF binary: report_rom [init] priority: 1 [init] provides service ROM [init] provides service Report Quota exceeded! amount=32768, size=4096, consumed=32768 [init] upgrading quota donation for Env::CPU (8192 bytes) [init] child "platform_drv" [init] RAM quota: 2973696 [init] ELF binary: platform_drv [init] priority: 1 [init] provides service Platform [init] child "nic_drv" [init] RAM quota: 2973696 [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: 8216576 [init] ELF binary: fb_drv [init] priority: 1 [init] provides service Framebuffer [init] child "seoul" [init] RAM quota: 134045696 [init] ELF binary: seoul [init] priority: 3 [init] child "timer" announces service "Timer" [init] child "acpi_report_rom" announces service "Report" [init -> platform_drv] platform driver started [init] child "acpi_report_rom" announces service "ROM" [init -> acpi_drv] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = unsigned int; Genode::uint32_t = unsigned int]: Found MADT [init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0 [init -> acpi_drv] MADT IRQ 5 -> GSI 5 flags: d [init] child "rtc_drv" announces service "Rtc" [init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: d [init -> acpi_drv] MADT IRQ 10 -> GSI 10 flags: d [init -> acpi_drv] MADT IRQ 11 -> GSI 11 flags: d [init -> platform_drv -> device_pd] Device protection domain starting ... [init -> platform_drv -> device_pd] Device protection domain started [init] child "platform_drv" announces service "Platform" [init -> ps2_drv] Using keyboard with scan code set 1 (xlate). [init -> ps2_drv] Detected ExPS/2 mouse - activating scroll-wheel and 5-button support. [init -> platform_drv] PS2 uses IRQ, vector 0x1 [init -> fb_drv] 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 -> platform_drv] PS2 uses IRQ, vector 0xc [init] child "ps2_drv" announces service "Input" [init -> nic_drv] --- iPXE NIC driver started --- [init -> nic_drv] --- init iPXE NIC [init -> platform_drv] IRQ override 11->11 trigger mode=LEVEL polarity=HIGH [init -> nic_drv] Found: 00:03.0 8086:100e (rev 03) IRQ 0b [init -> nic_drv] using driver 82540em [init -> nic_drv] PCI BIOS has not enabled device 00:03.0! Updating PCI command 0003->0007 [init -> nic_drv] PCI device 00:03.0 latency timer is unreasonably low at 0. Setting to 32. [init -> nic_drv] bus_addr = f2020000 len = 20000 [init -> nic_drv] snprintf not implemented [init -> platform_drv] 0:3.0 uses IRQ, vector 0xb [init -> nic_drv] number of devices: 1 [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, 0x7fffff949260) - VMM program image [init -> seoul] [init -> seoul] --- Setup VM --- [init -> fb_drv] Found: VESA BIOS version 2.0 [init -> fb_drv] OEM: VGABIOS Cirrus extension [init -> fb_drv] Found: physical frame buffer at 0xf0000000 size: 0x00400000 [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 400000 [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] VMM: Hello, this is Vancouver_disk. [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, 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 521af23501ec0 [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] 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 Quota exceeded! amount=24576, size=4096, consumed=24576 [init -> seoul] upgrading quota donation for Env::CPU (8192 bytes) [init -> seoul] device: halifax [init -> seoul] device: vbios [init -> seoul] device: lapic [init -> seoul] VMM: LAPIC freq 156702187 [init -> seoul] device: vcpu [init -> seoul] device: halifax [init -> seoul] device: vbios [init -> seoul] device: lapic [init -> seoul] VMM: LAPIC freq 156702187 [init -> seoul] device: intel82576vf [init -> nic_drv] --- init callbacks [init -> nic_drv] --- get MAC address 52:54:00:12:34:56 [init -> seoul] VMM: Our mac address is 52:54:00:12:34:56 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 2 vCPUs. [init -> seoul] VMM: RESET device state [init -> seoul] VMM: MessageLegacy::RESET requested [init -> seoul] VMM: INIT done [init -> seoul] VMM: reset CPU from c mtr_in effff [init -> seoul] VMM: reset CPU from c mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 0 cr0 10 efl 2 [init -> seoul] VMM: module 0 start 9800000+1000 cmdline munich [init -> seoul] VMM: module 1 start 9802000+1c6000 cmdline bzImage-3.1 root=/dev/ram0 earlyprintk=ttyS0 console=ttyS0 text [init -> seoul] VMM: module 2 start 99c9000+1438000 cmdline seoul-auto.gz [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 [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: Deactivated text buffer loop. [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 - 0000000007320000 (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 = 0x7320 max_arch_pfn = 0x100000 [init -> seoul] VMM: # init_memory_mapping: 0000000000000000-0000000007320000 [init -> seoul] VMM: # RAMDISK: 019c9000 - 02e01000 [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 0006C (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: # 0MB HIGHMEM available. [init -> seoul] VMM: # 115MB LOWMEM available. [init -> seoul] VMM: # mapped low ram: 0 - 07320000 [init -> seoul] VMM: # low ram: 0 - 07320000 [init -> seoul] VMM: # Zone PFN ranges: [init -> seoul] VMM: # DMA 0x00000010 -> 0x00001000 [init -> seoul] VMM: # Normal 0x00001000 -> 0x00007320 [init -> seoul] VMM: # HighMem empty [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 -> 0x00007320 [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: 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 2 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 7320000 (gap: 7320000:f8ce0000) [init -> seoul] VMM: # setup_percpu: NR_CPUS:8 nr_cpumask_bits:8 nr_cpu_ids:2 nr_node_ids:1 [init -> seoul] VMM: # PERCPU: Embedded 9 pages/cpu @c6c00000 s23232 r0 d13632 u2097152 [init -> seoul] VMM: # Built 1 zonelists in Zone order, mobility grouping on. Total pages: 29116 [init -> seoul] VMM: # Kernel command line: root=/dev/ram0 earlyprintk=ttyS0 console=ttyS0 text [init -> seoul] VMM: # PID hash table entries: 512 (order: -1, 2048 bytes) [init -> seoul] VMM: # Dentry cache hash table entries: 16384 (order: 4, 65536 bytes) [init -> seoul] VMM: # Inode-cache hash table entries: 8192 (order: 3, 32768 bytes) [init -> seoul] VMM: # Initializing CPU#0 [init -> seoul] VMM: # Initializing HighMem for node 0 (00000000:00000000) [init -> seoul] VMM: # Memory: 91536k/117888k available (2264k kernel code, 25852k reserved, 937k data, [init -> seoul] VMM: # | 344k init, 0k 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 : 0xc7b20000 - 0xff7fe000 ( 892 MB) [init -> seoul] VMM: # lowmem : 0xc0000000 - 0xc7320000 ( 115 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: Reactivating text buffer loop. [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 failed [init -> seoul] VMM: # TSC: Unable to calibrate against PIT [init -> seoul] VMM: # TSC: HPET/PMTIMER calibration failed. [init -> seoul] VMM: # Marking TSC unstable due to could not calculate TSC khz [init -> seoul] VMM: # Calibrating delay loop... 140.28 BogoMIPS (lpj=280576) [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: # ------------[ cut here ]------------ [init -> seoul] VMM: # WARNING: at arch/x86/kernel/apic/apic.c:1299 setup_local_APIC+0x286/0x36f() [init -> seoul] VMM: # Pid: 1, comm: swapper Not tainted 3.1.0 #6 [init -> seoul] VMM: # Call Trace: [init -> seoul] VMM: # [] ? warn_slowpath_common+0x65/0x76 [init -> seoul] VMM: # [] ? setup_local_APIC+0x286/0x36f [init -> seoul] VMM: # [] ? warn_slowpath_null+0xd/0x10 [init -> seoul] VMM: # [] ? setup_local_APIC+0x286/0x36f [init -> seoul] VMM: # [] ? native_smp_prepare_cpus+0x307/0x3de [init -> seoul] VMM: # [] ? parse_early_options+0x18/0x18 [init -> seoul] VMM: # [] ? kernel_init+0x39/0xf7 [init -> seoul] VMM: # [] ? kernel_thread_helper+0x6/0xd [init -> seoul] VMM: # ---[ end trace 4eaa2a86a8e2da22 ]--- [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: # APIC calibration not consistent with PM-Timer: 108ms instead of 100ms [init -> seoul] VMM: # APIC delta adjusted to PM-Timer: 979371 (1062180) int main(): --- init created, waiting for exit condition --- [init -> seoul] VMM: # Performance Events: [init -> seoul] VMM: # Booting Node 0, Processors #1 Ok. [init -> seoul] VMM: Deactivated text buffer loop. [init -> seoul] VMM: # CPU1: Stuck ?? [init -> seoul] VMM: # Brought up 1 CPUs [init -> seoul] VMM: # Total of 1 processors activated (140.28 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 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: # 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: # IP route cache hash table entries: 1024 (order: 0, 4096 bytes) [init -> seoul] VMM: # TCP established hash table entries: 4096 (order: 3, 32768 bytes) [init -> seoul] VMM: # TCP bind hash table entries: 4096 (order: 3, 32768 bytes) [init -> seoul] VMM: # TCP: Hash tables configured (established 4096 bind 4096) [init -> seoul] VMM: # TCP reno registered [init -> seoul] VMM: # UDP hash table entries: 128 (order: 0, 4096 bytes) [init -> seoul] VMM: # UDP-Lite hash table entries: 128 (order: 0, 4096 bytes) [init -> seoul] VMM: # NET: Registered protocol family 1 [init -> seoul] VMM: # Trying to unpack rootfs image as initramfs... [init -> seoul] VMM: # rootfs image is not initramfs (junk in compressed archive); looks like an initrd [init -> seoul] VMM: # | Freeing initrd memory: 20704k 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: # 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 219 [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: # igbvf 0000:00:01.0: enabling device (0000 -> 0002) [init -> seoul] VMM: VF_RESET 52:54:00:12:34:56 [init -> seoul] VMM: VF_RESET 52:54:00:12:34:56 [init -> seoul] VMM: VF_SET_MAC 52:54:00:12:34:56 [init -> seoul] VMM: # igbvf 0000:00:01.0: Intel(R) 82576 Virtual Function [init -> seoul] VMM: # igbvf 0000:00:01.0: Address: 52:54:00:12:34:56 [init -> seoul] VMM: # igbvf 0000:00:01.0: MAC: 1 [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: PC Speaker as /devices/platform/pcspkr/input/input0 [init -> seoul] VMM: # input: AT Translated Set 2 keyboard as /devices/platform/i8042/serio0/input/inpu [init -> seoul] VMM: # | t1 [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 2015-10-09 17:16:38 UTC (1444410998) [init -> seoul] VMM: # RAMDISK: ext2 filesystem found at block 0 [init -> seoul] VMM: # RAMDISK: Loading 20704KiB [1 disk] into ram disk... / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / Booting Core 4.7.7 [init -> seoul] VMM: # Running Linux Kernel 3.1.0. [init -> seoul] VMM: # Checking boot options...Done. [init -> seoul] VMM: # Starting udev daemon for hotplug support...| [init -> seoul] VMM: # | Done. [init -> seoul] VMM: # modprobe: chdir(3.1.0): No such file or directory [init -> seoul] VMM: # modprobe: chdir(3.1.0): No such file or directory Error: Spawned process died unexpectedly make: *** [run/seoul-auto] Erreur 253