NOVA Microhypervisor v5-16dd65c (x86_32): Jan 22 2013 11:27:34 [gcc 4.7.2] modified by Paul version IDt::build done! Gsi::setup done! Acpi setup done! VGA and Keyb init finished, all init done! [ 0] CORE:0:0:0 f:2:4:2 [f] Intel(R) Pentium(R) 4 CPU 2.26GHz Cpu::init done in bootstrap about to Msr::write will create root task Scheduling [ 0] before for [ 0] for done [ 0] just before ret_user_sysexit() Hypervisor does not feature VMX Hypervisor does not feature SVM Hypervisor info page contains 27 memory descriptors: detected physical memory: 0x0000000000000000 - size: 0x9f800 use physical memory: 0x0000000000000000 - size: 0x9f000 detected physical memory: 0x0000000000100000 - size: 0x1fbf0000 use physical memory: 0x0000000000100000 - size: 0x1fbf0000 detected physical memory: 0x000000001fd00000 - size: 0x180000 use physical memory: 0x000000001fd00000 - size: 0x180000 map multi-boot module: physical 0x018b6000 -> [0x00188000-0x00210230) - core map multi-boot module: physical 0x0193f000 -> [0x00213000-0x0021344b) - config map multi-boot module: physical 0x01940000 -> [0x00002000-0x0004a75c) - init map multi-boot module: physical 0x01989000 -> [0x0004b000-0x00084a80) - timer map multi-boot module: physical 0x019c3000 -> [0x00085000-0x000d49ec) - nitpickr map multi-boot module: physical 0x01a13000 -> [0xb0000000-0xb0064580) - liquid_b map multi-boot module: physical 0x01a78000 -> [0x00214000-0x002e7d70) - launchpd map multi-boot module: physical 0x01b4c000 -> [0xb0065000-0xb022ad78) - scout map multi-boot module: physical 0x01d12000 -> [0xb022b000-0xb026022c) - testnit map multi-boot module: physical 0x01d48000 -> [0xb0261000-0xb02a42b8) - nitlog map multi-boot module: physical 0x01d8c000 -> [0xb02a5000-0xb02e0ed4) - pci_drv map multi-boot module: physical 0x01dc8000 -> [0xb02e1000-0xb03409f4) - vesa_drv map multi-boot module: physical 0x01e28000 -> [0xb0341000-0xb037e128) - ps2_drv :virt_alloc: Allocator 15cdac dump: Block: [00002000,0004b000) size=00049000 avail=00000000 max_avail=00000000 Block: [0004b000,00085000) size=0003a000 avail=00000000 max_avail=0002b000 Block: [00085000,000d5000) size=00050000 avail=00000000 max_avail=00000000 Block: [000d5000,00100000) size=0002b000 avail=0002b000 max_avail=0002b000 Block: [00188000,00211000) size=00089000 avail=00000000 max_avail=00000000 Block: [00211000,00213000) size=00002000 avail=00000000 max_avail=9fd18000 Block: [00213000,00214000) size=00001000 avail=00000000 max_avail=00000000 Block: [00214000,002e8000) size=000d4000 avail=00000000 max_avail=9fd18000 Block: [002e8000,a0000000) size=9fd18000 avail=9fd18000 max_avail=9fd18000 Block: [b0000000,b0065000) size=00065000 avail=00000000 max_avail=9fd18000 Block: [b0065000,b022b000) size=001c6000 avail=00000000 max_avail=00000000 Block: [b022b000,b0261000) size=00036000 avail=00000000 max_avail=00000000 Block: [b0261000,b02a5000) size=00044000 avail=00000000 max_avail=9fd18000 Block: [b02a5000,b02e1000) size=0003c000 avail=00000000 max_avail=00000000 Block: [b02e1000,b0341000) size=00060000 avail=00000000 max_avail=0fb80000 Block: [b0341000,b037f000) size=0003e000 avail=00000000 max_avail=00000000 Block: [b037f000,bfeff000) size=0fb80000 avail=0fb80000 max_avail=0fb80000 Block: [bff04000,bfffd000) size=000f9000 avail=000f9000 max_avail=000f9000 => mem_size=2952192000 (2815 MB) / mem_avail=2946220032 (2809 MB) :phys_alloc: Allocator 15c948 dump: Block: [00001000,00002000) size=00001000 avail=00001000 max_avail=0009b000 Block: [00004000,0009f000) size=0009b000 avail=0009b000 max_avail=0009b000 Block: [00100000,00400000) size=00300000 avail=00300000 max_avail=1de8a000 Block: [01800000,018b6000) size=000b6000 avail=000b6000 max_avail=000b6000 Block: [01e66000,1fcf0000) size=1de8a000 avail=1de8a000 max_avail=1de8a000 Block: [1fd00000,1fe80000) size=00180000 avail=00180000 max_avail=00180000 => mem_size=507887616 (484 MB) / mem_avail=507887616 (484 MB) :io_mem_alloc: Allocator 16165c dump: Block: [0009f000,00100000) size=00061000 avail=00061000 max_avail=00061000 Block: [00400000,01800000) size=01400000 avail=01400000 max_avail=01400000 Block: [018b6000,01e66000) size=005b0000 avail=005b0000 max_avail=005b0000 Block: [1fcf0000,1fd00000) size=00010000 avail=00010000 max_avail=e0181000 Block: [1fe80000,00001000) size=e0181000 avail=e0181000 max_avail=e0181000 => mem_size=3787071488 (3611 MB) / mem_avail=3787071488 (3611 MB) int main(): --- create local services --- int main(): --- start init --- int main(): transferred 484 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open file "ld.lib.so" [init -> pci_drv] PCI driver started I/O memory [0,1000) not available Local MMIO mapping failed! [init -> vesa_drv] C++ runtime: Genode::Parent::Service_denied [init -> vesa_drv] void* abort(): abort called [init -> launchpad] Could not open file "ld.lib.so" [init -> launchpad] Could not open file "config" [init -> timer] Timer::Timeout_scheduler::Timeout_scheduler(Platform_timer*, Ger [init -> launchpad] Could not obtain config file [init -> ps2_drv] Using keyboard with scan code set 2.