Thank you for looking into my problem. Given below is the log output you requested.
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
[ 2] CORE:0:1:0 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
region=0 type=1 0x0000000000000000 - size: 0x9d000
region=1 type=2 0x000000000009d000 - size: 0x3000
region=2 type=2 0x00000000000e0000 - size: 0x20000
region=3 type=1 0x0000000000100000 - size: 0xff00000
region=4 type=2 0x0000000010000000 - size: 0xb000
region=5 type=1 0x000000001000b000 - size: 0xaf014000
region=6 type=2 0x00000000bf01f000 - size: 0xdbe0000
region=7 type=4 0x00000000ccbff000 - size: 0x180000
region=8 type=3 0x00000000ccd7f000 - size: 0x80000
region=9 type=2 0x00000000ccdff000 - size: 0x3201000
region=10 type=2 0x00000000f8000000 - size: 0x4000000
region=11 type=2 0x00000000fec00000 - size: 0x1000
region=12 type=2 0x00000000fed08000 - size: 0x1000
region=13 type=2 0x00000000fed10000 - size: 0xa000
region=14 type=2 0x00000000fed1c000 - size: 0x4000
region=15 type=2 0x00000000fee00000 - size: 0x1000
region=16 type=2 0x00000000ffa00000 - size: 0x600000
region=17 type=1 0x0000000100000000 - size: 0x32e000000
region=18 type=fffffffe 0x000000007bbd8000 - size: 0xe7430
region=19 type=fffffffe 0x000000007bcc0000 - size: 0x5b02
region=20 type=fffffffe 0x000000007bcc6000 - size: 0x5fdd0
region=21 type=fffffffe 0x000000007bd26000 - size: 0x5acd0
region=22 type=fffffffe 0x000000007bd81000 - size: 0x5ac58
region=23 type=fffffffe 0x000000007bddc000 - size: 0x72c08
region=24 type=fffffffe 0x000000007be4f000 - size: 0x9b9e8
region=25 type=fffffffe 0x000000007beeb000 - size: 0x10aa60
region=26 type=fffffffe 0x000000007bff6000 - size: 0x285f0
region=27 type=fffffffe 0x000000007c01f000 - size: 0x9a10
region=28 type=fffffffe 0x000000007c029000 - size: 0x5db8
region=29 type=fffffffe 0x000000007c02f000 - size: 0x13238
region=30 type=fffffffe 0x000000007c043000 - size: 0xe71e8
region=31 type=fffffffe 0x000000007c12b000 - size: 0xdeaf0
region=32 type=fffffffe 0x000000007c20a000 - size: 0x1cdbf0
region=33 type=fffffffe 0x000000007c3d8000 - size: 0x12bd78
region=34 type=fffffffe 0x000000007c504000 - size: 0x241d8
region=35 type=fffffffe 0x000000007c529000 - size: 0x80b310
region=36 type=fffffffe 0x000000007cd35000 - size: 0x5d010
region=37 type=fffffffe 0x000000007cd93000 - size: 0x10eb00
region=38 type=fffffffe 0x000000007cea2000 - size: 0x4e678
region=39 type=fffffffe 0x000000007cef1000 - size: 0x72f50
region=40 type=fffffffe 0x000000007cf64000 - size: 0x51b48
region=41 type=fffffffe 0x000000007cfb6000 - size: 0x5de78
region=42 type=fffffffe 0x000000007d014000 - size: 0x5b660
region=43 type=fffffffe 0x000000007d070000 - size: 0x7db88
region=44 type=fffffffe 0x000000007d0ee000 - size: 0x7d3b0
region=45 type=fffffffe 0x000000007d16c000 - size: 0x563f0
region=46 type=fffffffe 0x000000007d1c3000 - size: 0x62738
region=47 type=fffffffe 0x000000007d226000 - size: 0x610c0
region=48 type=fffffffe 0x000000007d288000 - size: 0x69ca8
region=49 type=fffffffe 0x000000007d2f2000 - size: 0x6efd0
region=50 type=fffffffe 0x000000007d361000 - size: 0x542b0
region=51 type=fffffffe 0x000000007d3b6000 - size: 0x69348
region=52 type=fffffffe 0x000000007d420000 - size: 0x710d0
region=53 type=fffffffe 0x000000007d492000 - size: 0x5fa40
region=54 type=fffffffe 0x000000007d4f2000 - size: 0x184e0
region=55 type=fffffffe 0x000000007d50b000 - size: 0x52d10
region=56 type=fffffffe 0x000000007d55e000 - size: 0x370000
region=57 type=fffffffe 0x000000007d8cf000 - size: 0x8d1800
region=58 type=fffffffe 0x000000007e1a1000 - size: 0x1312800
region=59 type=fffffffe 0x000000007f4b4000 - size: 0x596b8
region=60 type=fffffffe 0x000000007f50e000 - size: 0x50148
region=61 type=fffffffe 0x000000007f55f000 - size: 0x10a60
region=62 type=fffffffe 0x000000007f570000 - size: 0x53388
region=63 type=fffffffe 0x000000007f5c4000 - size: 0x15bf0
region=64 type=fffffffe 0x000000007f5da000 - size: 0x58530
region=65 type=fffffffe 0x000000007f633000 - size: 0x83e8
region=66 type=fffffffe 0x000000007f63c000 - size: 0x1dee90
region=67 type=fffffffe 0x000000007f81b000 - size: 0x6e7c0
region=68 type=fffffffe 0x000000007f88a000 - size: 0x334d0
region=69 type=fffffffe 0x000000007f8be000 - size: 0x703a0
region=70 type=fffffffe 0x000000007f92f000 - size: 0x1563b8
region=71 type=fffffffe 0x000000007fa86000 - size: 0x15bf0
region=72 type=fffffffe 0x000000007fa9c000 - size: 0x1213
region=73 type=fffffffe 0x000000007fa9e000 - size: 0x5ee28
region=74 type=fffffffe 0x000000007fafd000 - size: 0x567b0
region=75 type=fffffffe 0x000000007fb54000 - size: 0x605e0
region=76 type=fffffffe 0x000000007fbb5000 - size: 0x5ca18
region=77 type=fffffffe 0x000000007fc12000 - size: 0xf8150
region=78 type=fffffffe 0x000000007fd0b000 - size: 0x15908
region=79 type=fffffffe 0x000000007fd21000 - size: 0x29c68
region=80 type=fffffffe 0x000000007fd4b000 - size: 0x16298
region=81 type=fffffffe 0x000000007fd62000 - size: 0x4d38
region=82 type=fffffffe 0x000000007fd67000 - size: 0x246
region=83 type=fffffffe 0x000000007fd68000 - size: 0x0
region=84 type=fffffffe 0x000000007fd69000 - size: 0x286c8
region=85 type=fffffffe 0x000000007fd92000 - size: 0xc800
region=86 type=fffffffe 0x000000007fd9f000 - size: 0x6efd0
region=87 type=fffffffe 0x000000007fe0e000 - size: 0xa55b0
region=88 type=fffffffe 0x000000007feb4000 - size: 0xa5e0c
region=89 type=fffffffe 0x000000007ff5a000 - size: 0xa5f64
region=90 type=ffffffff 0x0000000000400000 - size: 0x2400000
471 :phys_alloc: Allocator 18db20 dump:
Block: [00000000,0009d000) size=0009d000 avail=0009d000 max_avail=0009d000
Block: [00100000,10000000) size=0ff00000 avail=0ff00000 max_avail=32e000000
Block: [1000b000,bf01f000) size=af014000 avail=af014000 max_avail=32e000000
Block: [100000000,42e000000) size=32e000000 avail=32e000000 max_avail=32e000000
=> mem_size=16860778496 (16079 MB) / mem_avail=16860778496 (16079 MB)
501 :phys_alloc: Allocator 18db20 dump:
Block: [00000000,0009d000) size=0009d000 avail=0009d000 max_avail=0009d000
Block: [00100000,00400000) size=00300000 avail=00300000 max_avail=6bbcd000
Block: [02800000,10000000) size=0d800000 avail=0d800000 max_avail=0d800000
Block: [1000b000,7bbd8000) size=6bbcd000 avail=6bbcd000 max_avail=6bbcd000
Block: [7d8ce000,7d8cf000) size=00001000 avail=00001000 max_avail=00001000
=> mem_size=2037821440 (1943 MB) / mem_avail=2037821440 (1943 MB)
522 :phys_alloc: Allocator 18db20 dump:
Block: [00001000,0009d000) size=0009c000 avail=0009c000 max_avail=0009c000
Block: [00100000,00400000) size=00300000 avail=00300000 max_avail=6bbcd000
Block: [02800000,10000000) size=0d800000 avail=0d800000 max_avail=0d800000
Block: [1000b000,7bbd8000) size=6bbcd000 avail=6bbcd000 max_avail=6bbcd000
=> mem_size=2037813248 (1943 MB) / mem_avail=2037813248 (1943 MB)
core
[...]
iwlwifi-7260-8.ucode
Genode 15.08-242-g1e7a4e0 <local changes>
int main(): --- create local services ---