Turmvilla Memory
Harm de Vries
vries101 at ...9...
Thu Nov 26 19:57:59 CET 2015
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 at ...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 at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20151126/a5045768/attachment.html>
More information about the users
mailing list