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@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main