Hello Christian and Alex,
I was able to prepare Nova again today. Given below is the complete log output.
Thanks for the help!
Kinds regards,
Harm
NOVA Microhypervisor v7-92a2b58 (x86_64): Nov 18 2015 16:10:43 [gcc 4.9.2]
[ 0] CORE:0:0:0 6:3d:4:6 [21] Intel(R) Core(TM) i7-5600U CPU @ 2.60GHz [ 1] CORE:0:0:1 6:3d:4:6 [21] Intel(R) Core(TM) i7-5600U CPU @ 2.60GHz [ 3] CORE:0:1:1 6:3d:4:6 [21] Intel(R) Core(TM) i7-5600U CPU @ 2.60GHz [ 2] CORE:0:1:0 6:3d:4:6 [21] Intel(R) Core(TM) i7-5600U CPU @ 2.60GHz Hypervisor features VMX Hypervisor reports 4x1 CPUs - boot CPU is 0 Hypervisor info page contains 91 memory descriptors: detected physical memory: 0x0000000000000000 - size: 0x9d000 use physical memory: 0x0000000000000000 - size: 0x9d000 detected physical memory: 0x0000000000100000 - size: 0xff00000 use physical memory: 0x0000000000100000 - size: 0xff00000 detected physical memory: 0x000000001000b000 - size: 0xaf014000 use physical memory: 0x000000001000b000 - size: 0xaf014000 detected physical memory: 0x0000000100000000 - size: 0x32e000000 use physical memory: 0x0000000100000000 - size: 0x32e000000 map multi-boot module: physical 0x7bbd8000+0x000e7430 - core map multi-boot module: physical 0x7bcc0000+0x00005b02 - config map multi-boot module: physical 0x7bcc6000+0x0005fdd0 - init map multi-boot module: physical 0x7bd26000+0x0005acd0 - timer map multi-boot module: physical 0x7bd81000+0x0005ac58 - part_blk map multi-boot module: physical 0x7bddc000+0x00072c08 - ahci_drv map multi-boot module: physical 0x7be4f000+0x0009b9e8 - ld.lib.so map multi-boot module: physical 0x7beeb000+0x0010aa60 - libc.lib.so map multi-boot module: physical 0x7bff6000+0x000285f0 - libm.lib.so map multi-boot module: physical 0x7c01f000+0x00009a10 - pthread.lib.so map multi-boot module: physical 0x7c029000+0x00005db8 - libc_lock_pipe.lib.so map multi-boot module: physical 0x7c02f000+0x00013238 - libc_terminal.lib.so map multi-boot module: physical 0x7c043000+0x000e71e8 - libiconv.lib.so map multi-boot module: physical 0x7c12b000+0x000deaf0 - stdcxx.lib.so map multi-boot module: physical 0x7c20a000+0x001cdbf0 - rump.lib.so map multi-boot module: physical 0x7c3d8000+0x0012bd78 - rump_fs.lib.so map multi-boot module: physical 0x7c504000+0x000241d8 - rump_fs map multi-boot module: physical 0x7c529000+0x0080b310 - virtualbox map multi-boot module: physical 0x7cd35000+0x0005d010 - ps2_drv map multi-boot module: physical 0x7cd93000+0x0010eb00 - usb_drv map multi-boot module: physical 0x7cea2000+0x0004e678 - acpi_drv map multi-boot module: physical 0x7cef1000+0x00072f50 - platform_drv map multi-boot module: physical 0x7cf64000+0x00051b48 - device_pd map multi-boot module: physical 0x7cfb6000+0x0005de78 - rtc_drv map multi-boot module: physical 0x7d014000+0x0005b660 - input_merger map multi-boot module: physical 0x7d070000+0x0007db88 - nic_drv map multi-boot module: physical 0x7d0ee000+0x0007d3b0 - nitpicker map multi-boot module: physical 0x7d16c000+0x000563f0 - vbox_pointer map multi-boot module: physical 0x7d1c3000+0x00062738 - nit_fb map multi-boot module: physical 0x7d226000+0x000610c0 - report_rom map multi-boot module: physical 0x7d288000+0x00069ca8 - wm map multi-boot module: physical 0x7d2f2000+0x0006efd0 - decorator map multi-boot module: physical 0x7d361000+0x000542b0 - floating_window_layouter map multi-boot module: physical 0x7d3b6000+0x00069348 - noux map multi-boot module: physical 0x7d420000+0x000710d0 - terminal map multi-boot module: physical 0x7d492000+0x0005fa40 - ram_fs map multi-boot module: physical 0x7d4f2000+0x000184e0 - libc_noux.lib.so map multi-boot module: physical 0x7d50b000+0x00052d10 - ncurses.lib.so map multi-boot module: physical 0x7d55e000+0x00370000 - bash.tar map multi-boot module: physical 0x7d8cf000+0x008d1800 - coreutils.tar map multi-boot module: physical 0x7e1a1000+0x01312800 - vim.tar map multi-boot module: physical 0x7f4b4000+0x000596b8 - cli_monitor map multi-boot module: physical 0x7f50e000+0x00050148 - pointer map multi-boot module: physical 0x7f55f000+0x00010a60 - file_terminal map multi-boot module: physical 0x7f570000+0x00053388 - terminal_log map multi-boot module: physical 0x7f5c4000+0x00015bf0 - wifi_drv map multi-boot module: physical 0x7f5da000+0x00058530 - fs_rom map multi-boot module: physical 0x7f633000+0x000083e8 - vfs_jitterentropy.lib.so map multi-boot module: physical 0x7f63c000+0x001dee90 - libcrypto.lib.so map multi-boot module: physical 0x7f81b000+0x0006e7c0 - libssl.lib.so map multi-boot module: physical 0x7f88a000+0x000334d0 - wpa_driver_nl80211.lib.so map multi-boot module: physical 0x7f8be000+0x000703a0 - wpa_supplicant.lib.so map multi-boot module: physical 0x7f92f000+0x001563b8 - wifi.lib.so map multi-boot module: physical 0x7fa86000+0x00015bf0 - wifi_drv map multi-boot module: physical 0x7fa9c000+0x00001213 - vm_linux.vbox map multi-boot module: physical 0x7fa9e000+0x0005ee28 - trace_subject_reporter map multi-boot module: physical 0x7fafd000+0x000567b0 - cpu_load_display map multi-boot module: physical 0x7fb54000+0x000605e0 - xray_trigger map multi-boot module: physical 0x7fbb5000+0x0005ca18 - rom_filter map multi-boot module: physical 0x7fc12000+0x000f8150 - intel_fb_drv map multi-boot module: physical 0x7fd0b000+0x00015908 - backdrop map multi-boot module: physical 0x7fd21000+0x00029c68 - libpng.lib.so map multi-boot module: physical 0x7fd4b000+0x00016298 - zlib.lib.so map multi-boot module: physical 0x7fd62000+0x00004d38 - genode_logo.png map multi-boot module: physical 0x7fd67000+0x00000246 - grid.png map multi-boot module: physical 0x7fd69000+0x000286c8 - themed_decorator map multi-boot module: physical 0x7fd92000+0x0000c800 - plain_decorator_theme.tar map multi-boot module: physical 0x7fd9f000+0x0006efd0 - iwlwifi-6000-6.ucode map multi-boot module: physical 0x7fe0e000+0x000a55b0 - iwlwifi-6000g2a-6.ucode map multi-boot module: physical 0x7feb4000+0x000a5e0c - iwlwifi-6000g2b-6.ucode map multi-boot module: physical 0x7ff5a000+0x000a5f64 - iwlwifi-7260-8.ucode :virt_alloc: Allocator 18ebe0 dump: 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=00000000 Block: [00019000,0001a000) size=00001000 avail=00000000 max_avail=0005e000 Block: [0001a000,0001b000) size=00001000 avail=00000000 max_avail=00000000 Block: [0001b000,0001c000) size=00001000 avail=00000000 max_avail=0005e000 Block: [0001c000,0007a000) size=0005e000 avail=0005e000 max_avail=0005e000 Block: [0007a000,0007b000) size=00001000 avail=00000000 max_avail=0005e000 Block: [0007b000,0007d000) size=00002000 avail=00002000 max_avail=00002000 Block: [0007d000,0007e000) size=00001000 avail=00000000 max_avail=0005e000 Block: [0007e000,0007f000) size=00001000 avail=00000000 max_avail=00000000 Block: [0007f000,00080000) size=00001000 avail=00000000 max_avail=00000000 Block: [00080000,00081000) size=00001000 avail=00000000 max_avail=0005e000 Block: [00081000,00082000) size=00001000 avail=00000000 max_avail=00000000 Block: [00082000,00083000) size=00001000 avail=00000000 max_avail=00000000 Block: [00083000,00084000) size=00001000 avail=00000000 max_avail=00000000 Block: [00084000,00085000) size=00001000 avail=00000000 max_avail=00000000 Block: [00085000,00086000) size=00001000 avail=00000000 max_avail=00000000 Block: [00086000,00087000) size=00001000 avail=00000000 max_avail=00000000 Block: [00087000,00088000) size=00001000 avail=00000000 max_avail=00000000 Block: [00088000,00089000) size=00001000 avail=00000000 max_avail=00005000 Block: [00089000,0008a000) size=00001000 avail=00000000 max_avail=00000000 Block: [0008a000,0008b000) size=00001000 avail=00000000 max_avail=00000000 Block: [0008b000,0008c000) size=00001000 avail=00000000 max_avail=00000000 Block: [0008c000,0008d000) size=00001000 avail=00000000 max_avail=00005000 Block: [0008d000,0008e000) size=00001000 avail=00000000 max_avail=00000000 Block: [0008e000,0008f000) size=00001000 avail=00000000 max_avail=00005000 Block: [0008f000,00094000) size=00005000 avail=00005000 max_avail=00005000 Block: [00094000,00095000) size=00001000 avail=00000000 max_avail=00005000 Block: [00095000,00096000) size=00001000 avail=00000000 max_avail=00000000 Block: [00096000,00097000) size=00001000 avail=00000000 max_avail=00000000 Block: [00097000,00098000) size=00001000 avail=00000000 max_avail=00000000 Block: [00098000,00099000) size=00001000 avail=00000000 max_avail=00000000 Block: [00099000,0009a000) size=00001000 avail=00000000 max_avail=00000000 Block: [0009a000,0009b000) size=00001000 avail=00000000 max_avail=00000000 Block: [0009b000,0009c000) size=00001000 avail=00000000 max_avail=00000000 Block: [0009c000,0009d000) size=00001000 avail=00000000 max_avail=00000000 Block: [0009d000,0009e000) size=00001000 avail=00000000 max_avail=00000000 Block: [0009e000,0009f000) size=00001000 avail=00000000 max_avail=00000000 Block: [0009f000,000a0000) size=00001000 avail=00000000 max_avail=00005000 Block: [000a0000,000a1000) size=00001000 avail=00000000 max_avail=00000000 Block: [000a1000,000a2000) size=00001000 avail=00000000 max_avail=00000000 Block: [000a2000,000a3000) size=00001000 avail=00000000 max_avail=00000000 Block: [000a3000,000a4000) size=00001000 avail=00000000 max_avail=00000000 Block: [000a4000,000a5000) size=00001000 avail=00000000 max_avail=00000000 Block: [000a5000,000a6000) size=00001000 avail=00000000 max_avail=00000000 Block: [000a6000,000a7000) size=00001000 avail=00000000 max_avail=00000000 Block: [000a7000,000a8000) size=00001000 avail=00000000 max_avail=00000000 Block: [000a8000,000a9000) size=00001000 avail=00000000 max_avail=00000000 Block: [000a9000,000aa000) size=00001000 avail=00000000 max_avail=00000000 Block: [000aa000,000ab000) size=00001000 avail=00000000 max_avail=00000000 Block: [000ab000,000ac000) size=00001000 avail=00000000 max_avail=00000000 Block: [000ac000,000ad000) size=00001000 avail=00000000 max_avail=00000000 Block: [000ad000,000ae000) size=00001000 avail=00000000 max_avail=00000000 Block: [000ae000,000af000) size=00001000 avail=00000000 max_avail=00000000 Block: [000af000,000b0000) size=00001000 avail=00000000 max_avail=00000000 Block: [000b0000,000b1000) size=00001000 avail=00000000 max_avail=00000000 Block: [000b1000,000b2000) size=00001000 avail=00000000 max_avail=00000000 Block: [000b2000,000b3000) size=00001000 avail=00000000 max_avail=00000000 Block: [000b3000,000b4000) size=00001000 avail=00000000 max_avail=00000000 Block: [000b4000,000b5000) size=00001000 avail=00000000 max_avail=00000000 Block: [000b5000,000b6000) size=00001000 avail=00000000 max_avail=00000000 Block: [000b6000,000b7000) size=00001000 avail=00000000 max_avail=00000000 Block: [000b7000,000b8000) size=00001000 avail=00000000 max_avail=7fff400f8000 Block: [000b8000,000b9000) size=00001000 avail=00000000 max_avail=00000000 Block: [000b9000,000ba000) size=00001000 avail=00000000 max_avail=00000000 Block: [000ba000,000bb000) size=00001000 avail=00000000 max_avail=00000000 Block: [000bb000,000bc000) size=00001000 avail=00000000 max_avail=00000000 Block: [000bc000,000bd000) size=00001000 avail=00000000 max_avail=00000000 Block: [000bd000,000bf000) size=00002000 avail=00000000 max_avail=00000000 Block: [000bf000,000c0000) size=00001000 avail=00000000 max_avail=00000000 Block: [000c0000,000c1000) size=00001000 avail=00000000 max_avail=00000000 Block: [000c1000,000c2000) size=00001000 avail=00000000 max_avail=00000000 Block: [000c2000,000c3000) size=00001000 avail=00000000 max_avail=00000000 Block: [000c3000,000c4000) size=00001000 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,000cb000) size=00001000 avail=00000000 max_avail=00000000 Block: [000cb000,000cc000) size=00001000 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,000d5000) size=00001000 avail=00000000 max_avail=00000000 Block: [000d5000,000d6000) size=00001000 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=00000000 Block: [000da000,000db000) size=00001000 avail=00000000 max_avail=00000000 Block: [000db000,000dc000) size=00001000 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=00000000 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=00000000 Block: [000e4000,000e5000) size=00001000 avail=00000000 max_avail=00000000 Block: [000e5000,000e6000) size=00001000 avail=00000000 max_avail=7fff400f8000 Block: [000e6000,000e7000) size=00001000 avail=00000000 max_avail=00000000 Block: [000e7000,000e8000) size=00001000 avail=00000000 max_avail=00000000 Block: [000e8000,000e9000) size=00001000 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=0000f000 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=0000f000 Block: [000ef000,000f0000) size=00001000 avail=00000000 max_avail=00000000 Block: [000f0000,000f1000) size=00001000 avail=00000000 max_avail=00000000 Block: [000f1000,00100000) size=0000f000 avail=0000f000 max_avail=0000f000 Block: [001e7000,001e8000) size=00001000 avail=00000000 max_avail=00000000 Block: [001e8000,001e9000) size=00001000 avail=00000000 max_avail=7fff400f8000 Block: [001e9000,001ea000) size=00001000 avail=00000000 max_avail=00000000 Block: [001ea000,001eb000) size=00001000 avail=00000000 max_avail=00000000 Block: [001eb000,001ec000) size=00001000 avail=00000000 max_avail=00000000 Block: [001ec000,001ed000) size=00001000 avail=00000000 max_avail=00000000 Block: [001ed000,001ee000) size=00001000 avail=00000000 max_avail=00000000 Block: [001ee000,001ef000) size=00001000 avail=00000000 max_avail=7fff400f8000 Block: [001ef000,00263000) size=00074000 avail=00074000 max_avail=00074000 Block: [00263000,00264000) size=00001000 avail=00000000 max_avail=00074000 Block: [00264000,00265000) size=00001000 avail=00000000 max_avail=00000000 Block: [00265000,002d0000) size=0006b000 avail=0006b000 max_avail=0006b000 Block: [002d0000,002d1000) size=00001000 avail=00000000 max_avail=7fff400f8000 Block: [002d1000,002d2000) size=00001000 avail=00000000 max_avail=00000000 Block: [002d2000,a0000000) size=9fd2e000 avail=9fd2e000 max_avail=7fff400f8000 Block: [b0000000,bfeff000) size=0feff000 avail=0feff000 max_avail=7fff400f8000 Block: [bff04000,7fffffffc000) size=7fff400f8000 avail=7fff400f8000 max_avail=7fff400f8000 => mem_size=140737218928640 (134217471 MB) / mem_avail=140737218314240 (134217470 MB) :phys_alloc: Allocator 18db20 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=00000000 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=00000000 Block: [0001f000,00020000) size=00001000 avail=00000000 max_avail=00000000 Block: [00020000,00021000) size=00001000 avail=00000000 max_avail=00000000 Block: [00021000,00022000) size=00001000 avail=00000000 max_avail=00000000 Block: [00022000,00023000) size=00001000 avail=00000000 max_avail=00000000 Block: [00023000,00024000) size=00001000 avail=00000000 max_avail=00000000 Block: [00024000,00025000) size=00001000 avail=00000000 max_avail=00000000 Block: [00025000,00026000) size=00001000 avail=00000000 max_avail=00000000 Block: [00026000,00027000) size=00001000 avail=00000000 max_avail=00000000 Block: [00027000,00028000) size=00001000 avail=00000000 max_avail=00000000 Block: [00028000,00029000) size=00001000 avail=00000000 max_avail=00000000 Block: [00029000,0002a000) size=00001000 avail=00000000 max_avail=00000000 Block: [0002a000,0002b000) size=00001000 avail=00000000 max_avail=00000000 Block: [0002b000,0002c000) size=00001000 avail=00000000 max_avail=00000000 Block: [0002c000,0002d000) size=00001000 avail=00000000 max_avail=00000000 Block: [0002d000,0002e000) size=00001000 avail=00000000 max_avail=00000000 Block: [0002e000,0002f000) size=00001000 avail=00000000 max_avail=00000000 Block: [0002f000,00030000) size=00001000 avail=00000000 max_avail=00000000 Block: [00030000,00031000) size=00001000 avail=00000000 max_avail=00000000 Block: [00031000,00032000) size=00001000 avail=00000000 max_avail=00000000 Block: [00032000,00033000) size=00001000 avail=00000000 max_avail=00000000 Block: [00033000,00034000) size=00001000 avail=00000000 max_avail=00000000 Block: [00034000,00035000) size=00001000 avail=00000000 max_avail=00000000 Block: [00035000,00036000) size=00001000 avail=00000000 max_avail=00000000 Block: [00036000,00037000) size=00001000 avail=00000000 max_avail=00000000 Block: [00037000,00038000) size=00001000 avail=00000000 max_avail=00000000 Block: [00038000,00039000) size=00001000 avail=00000000 max_avail=00000000 Block: [00039000,0003a000) size=00001000 avail=00000000 max_avail=00000000 Block: [0003a000,0003b000) size=00001000 avail=00000000 max_avail=00000000 Block: [0003b000,0003c000) size=00001000 avail=00000000 max_avail=00000000 Block: [0003c000,0003d000) size=00001000 avail=00000000 max_avail=00000000 Block: [0003d000,0003e000) size=00001000 avail=00000000 max_avail=00000000 Block: [0003e000,0003f000) size=00001000 avail=00000000 max_avail=00000000 Block: [0003f000,00040000) size=00001000 avail=00000000 max_avail=00000000 Block: [00040000,00041000) size=00001000 avail=00000000 max_avail=00000000 Block: [00041000,00042000) size=00001000 avail=00000000 max_avail=00000000 Block: [00042000,00043000) size=00001000 avail=00000000 max_avail=00000000 Block: [00043000,00044000) size=00001000 avail=00000000 max_avail=00000000 Block: [00044000,00045000) size=00001000 avail=00000000 max_avail=00000000 Block: [00045000,00046000) size=00001000 avail=00000000 max_avail=00000000 Block: [00046000,00047000) size=00001000 avail=00000000 max_avail=00000000 Block: [00047000,00048000) size=00001000 avail=00000000 max_avail=00000000 Block: [00048000,00049000) size=00001000 avail=00000000 max_avail=6bbcd000 Block: [00049000,0004a000) size=00001000 avail=00000000 max_avail=00000000 Block: [0004a000,0004b000) size=00001000 avail=00000000 max_avail=00000000 Block: [0004b000,0004c000) size=00001000 avail=00000000 max_avail=00000000 Block: [0004c000,0004d000) size=00001000 avail=00000000 max_avail=00000000 Block: [0004d000,0004e000) size=00001000 avail=00000000 max_avail=00000000 Block: [0004e000,0004f000) size=00001000 avail=00000000 max_avail=00000000 Block: [0004f000,00050000) size=00001000 avail=00000000 max_avail=00000000 Block: [00050000,00051000) size=00001000 avail=00000000 max_avail=00000000 Block: [00051000,00052000) size=00001000 avail=00000000 max_avail=00000000 Block: [00052000,00053000) size=00001000 avail=00000000 max_avail=00000000 Block: [00053000,00054000) size=00001000 avail=00000000 max_avail=00000000 Block: [00054000,00055000) size=00001000 avail=00000000 max_avail=00000000 Block: [00055000,00056000) size=00001000 avail=00000000 max_avail=00000000 Block: [00056000,00057000) size=00001000 avail=00000000 max_avail=00000000 Block: [00057000,00058000) size=00001000 avail=00000000 max_avail=00000000 Block: [00058000,00059000) size=00001000 avail=00000000 max_avail=00000000 Block: [00059000,0005a000) size=00001000 avail=00000000 max_avail=00000000 Block: [0005a000,0005b000) size=00001000 avail=00000000 max_avail=00000000 Block: [0005b000,0005c000) size=00001000 avail=00000000 max_avail=00000000 Block: [0005c000,0005d000) size=00001000 avail=00000000 max_avail=00000000 Block: [0005d000,0005e000) size=00001000 avail=00000000 max_avail=00000000 Block: [0005e000,0005f000) size=00001000 avail=00000000 max_avail=00000000 Block: [0005f000,00060000) size=00001000 avail=00000000 max_avail=00000000 Block: [00060000,00061000) size=00001000 avail=00000000 max_avail=00000000 Block: [00061000,00062000) size=00001000 avail=00000000 max_avail=00000000 Block: [00062000,00063000) size=00001000 avail=00000000 max_avail=00000000 Block: [00063000,00064000) size=00001000 avail=00000000 max_avail=00000000 Block: [00064000,00065000) size=00001000 avail=00000000 max_avail=00000000 Block: [00065000,00066000) size=00001000 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,00069000) size=00001000 avail=00000000 max_avail=00000000 Block: [00069000,0006a000) size=00001000 avail=00000000 max_avail=00000000 Block: [0006a000,0006b000) size=00001000 avail=00000000 max_avail=00000000 Block: [0006b000,0006c000) size=00001000 avail=00000000 max_avail=00000000 Block: [0006c000,0006d000) size=00001000 avail=00000000 max_avail=6bbcd000 Block: [0006d000,0006e000) size=00001000 avail=00000000 max_avail=00000000 Block: [0006e000,0006f000) size=00001000 avail=00000000 max_avail=00000000 Block: [0006f000,00070000) size=00001000 avail=00000000 max_avail=00000000 Block: [00070000,00071000) size=00001000 avail=00000000 max_avail=00000000 Block: [00071000,00072000) size=00001000 avail=00000000 max_avail=00000000 Block: [00072000,00073000) size=00001000 avail=00000000 max_avail=00000000 Block: [00073000,00074000) size=00001000 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,00077000) size=00001000 avail=00000000 max_avail=00000000 Block: [00077000,00078000) size=00001000 avail=00000000 max_avail=00000000 Block: [00078000,00079000) size=00001000 avail=00000000 max_avail=00000000 Block: [00079000,0007a000) size=00001000 avail=00000000 max_avail=00000000 Block: [0007a000,0007b000) size=00001000 avail=00000000 max_avail=00000000 Block: [0007b000,0007c000) size=00001000 avail=00000000 max_avail=00000000 Block: [0007c000,0007d000) size=00001000 avail=00000000 max_avail=00000000 Block: [0007d000,0007e000) size=00001000 avail=00000000 max_avail=00000000 Block: [0007e000,0007f000) size=00001000 avail=00000000 max_avail=6bbcd000 Block: [0007f000,00080000) size=00001000 avail=00000000 max_avail=00000000 Block: [00080000,00081000) size=00001000 avail=00000000 max_avail=00000000 Block: [00081000,00082000) size=00001000 avail=00000000 max_avail=00000000 Block: [00082000,00083000) size=00001000 avail=00000000 max_avail=00000000 Block: [00083000,00084000) size=00001000 avail=00000000 max_avail=00000000 Block: [00084000,00085000) size=00001000 avail=00000000 max_avail=00000000 Block: [00085000,00086000) size=00001000 avail=00000000 max_avail=00000000 Block: [00086000,00087000) size=00001000 avail=00000000 max_avail=00000000 Block: [00087000,00088000) size=00001000 avail=00000000 max_avail=6bbcd000 Block: [00088000,00089000) size=00001000 avail=00000000 max_avail=00000000 Block: [00089000,0008a000) size=00001000 avail=00000000 max_avail=00000000 Block: [0008a000,0008b000) size=00001000 avail=00000000 max_avail=00000000 Block: [0008b000,0008c000) size=00001000 avail=00000000 max_avail=00000000 Block: [0008c000,0008d000) size=00001000 avail=00000000 max_avail=00000000 Block: [0008d000,0008e000) size=00001000 avail=00000000 max_avail=00000000 Block: [0008e000,0008f000) size=00001000 avail=00000000 max_avail=00000000 Block: [0008f000,00090000) size=00001000 avail=00000000 max_avail=00000000 Block: [00090000,00091000) size=00001000 avail=00000000 max_avail=6bbcd000 Block: [00091000,00092000) size=00001000 avail=00000000 max_avail=00000000 Block: [00092000,00093000) size=00001000 avail=00000000 max_avail=00000000 Block: [00093000,0009d000) size=0000a000 avail=0000a000 max_avail=0000a000 Block: [00100000,00101000) size=00001000 avail=00000000 max_avail=00000000 Block: [00101000,00102000) size=00001000 avail=00000000 max_avail=6bbcd000 Block: [00102000,00103000) size=00001000 avail=00000000 max_avail=00000000 Block: [00103000,00400000) size=002fd000 avail=002fd000 max_avail=002fd000 Block: [02800000,10000000) size=0d800000 avail=0d800000 max_avail=6bbcd000 Block: [1000b000,7bbd8000) size=6bbcd000 avail=6bbcd000 max_avail=6bbcd000 => mem_size=2037813248 (1943 MB) / mem_avail=2037202944 (1942 MB) :io_mem_alloc: Allocator 18fcb8 dump: Block: [00000000,00001000) size=00001000 avail=00001000 max_avail=00001000 Block: [0009d000,00100000) size=00063000 avail=00063000 max_avail=00063000 Block: [10000000,1000b000) size=0000b000 avail=0000b000 max_avail=fffffffbd1fff000 Block: [bf01f000,100000000) size=40fe1000 avail=40fe1000 max_avail=fffffffbd1fff000 Block: [42e000000,fffffffffffff000) size=fffffffbd1fff000 avail=fffffffbd1fff000 max_avail=fffffffbd1fff000 => mem_size=18446744056848773120 (17592186028336 MB) / mem_avail=18446744056848773120 (17592186028336 MB) Genode 15.08-241-g656aa4a <local changes> int main(): --- create local services --- int main(): --- start init --- int main(): transferred 1942 MB to init
On Thu, Nov 26, 2015 at 6:11 PM, Christian Helmuth < christian.helmuth@...1...> wrote:
Hello Harm,
On Wed, Nov 25, 2015 at 08:25:54PM +0100, Harm de Vries wrote:
Today I tried to run the latest Turmvilla configuration on a Lenovo X250 laptop (Nova 64bit kernel). However, although the machine has 16GB of of memory only 1942MB is transferred to init, see the log below. Does anyone have an idea what could cause this behaviour?
Block: [02800000,10000000) size=0d800000 avail=0d800000
max_avail=6bbcd000
Block: [1000b000,7bbd8000) size=6bbcd000 avail=6bbcd000
max_avail=6bbcd000
=> mem_size=2037813248 (1943 MB) / mem_avail=2037202944 (1942 MB)
This indeed looks strange if your notebook has 16 GiB of RAM. Could you please try to capture also the initial output of NOVA, which should look similar to
NOVA Microhypervisor v7-84ce824 (x86_64): Nov 26 2015 17:54:18 [gcc 4.9.2]
[ 0] CORE:0:0:0 6:f:b:0 [0] Intel(R) Core(TM)2 Duo CPU T7700 @ 2.40GHz Hypervisor reports 1x1 CPU - boot CPU is 0 CPU has no invariant TSC. Hypervisor info page contains 11 memory descriptors: detected physical memory: 0x0000000000000000 - size: 0x9fc00 use physical memory: 0x0000000000000000 - size: 0x9f000 detected physical memory: 0x0000000000100000 - size: 0x7ee0000 use physical memory: 0x0000000000100000 - size: 0x7ee0000
If your RAM is already missing from this output, we'd know where to look for the cause of the issue.
Regards
Christian Helmuth Genode Labs
http://www.genode-labs.com/ · http://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
Go from Idea to Many App Stores Faster with Intel(R) XDK Give your users amazing mobile app experiences with Intel(R) XDK. Use one codebase in this all-in-one HTML5 development environment. Design, debug & build mobile apps & 2D/3D high-impact games for multiple OSs. http://pubads.g.doubleclick.net/gampad/clk?id=254741551&iu=/4140 _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main