Re: Turmvilla Memory

2015-12-09 Thread Harm de Vries 
Hello Alex,

It still works, the new log output, given below, is slightly different from
the previous one.

Kind regards,

Harm


473 :phys_alloc: Allocator 18db20 dump:
 Block: [,0009d000) size=0009d000 avail=0009d000 max_avail=0009d000
 Block: [0010,1000) size=0ff0 avail=0ff0 max_avail=32e00
 Block: [1000b000,bf01f000) size=af014000 avail=af014000 max_avail=32e00
 Block: [1,42e00) size=32e00 avail=32e00
max_avail=32e00
 => mem_size=16860778496 (16079 MB) / mem_avail=16860778496 (16079 MB)
507 :phys_alloc: Allocator 18db20 dump:
 Block: [,0009d000) size=0009d000 avail=0009d000 max_avail=0009d000
 Block: [0010,0040) size=0030 avail=0030 max_avail=6baf7000
 Block: [0280,1000) size=0d80 avail=0d80 max_avail=0d80
 Block: [1000b000,7bb02000) size=6baf7000 avail=6baf7000 max_avail=6baf7000
 Block: [7d7f8000,7d7f9000) size=1000 avail=1000 max_avail=32e00
 Block: [8000,bf01f000) size=3f01f000 avail=3f01f000 max_avail=3f01f000
 Block: [1,42e00) size=32e00 avail=32e00
max_avail=32e00
 => mem_size=16750690304 (15974 MB) / mem_avail=16750690304 (15974 MB)
528 :phys_alloc: Allocator 18db20 dump:
 Block: [1000,0009d000) size=0009c000 avail=0009c000 max_avail=0009c000
 Block: [0010,0040) size=0030 avail=0030 max_avail=0d80
 Block: [0280,1000) size=0d80 avail=0d80 max_avail=0d80
 Block: [1000b000,7bb02000) size=6baf7000 avail=6baf7000 max_avail=32e00
 Block: [80001000,bf01f000) size=3f01e000 avail=3f01e000 max_avail=3f01e000
 Block: [1,42e00) size=32e00 avail=32e00
max_avail=32e00
 => mem_size=16750678016 (15974 MB) / mem_avail=16750678016 (15974 MB)
core
[...]
iwlwifi-7260-8.ucode
Genode 15.08-243-g1a0bd06
int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 15973 MB to init

On Tue, Dec 8, 2015 at 9:14 AM, Alexander Boettcher <
alexander.boettc...@genode-labs.com> wrote:

> Hello Harm,
>
> may you please try the commit of
>
> https://github.com/genodelabs/genode/issues/1814.
>
> It is slightly different than the original one, but should have the same
> effect.
>
> Thanks,
>
> Alex.
>
>
>
> --
> 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=254741911&iu=/4140
> ___
> genode-main mailing list
> genode-main@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>
>
--
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Re: Turmvilla Memory

2015-12-08 Thread Alexander Boettcher 
Hello Harm,

may you please try the commit of

https://github.com/genodelabs/genode/issues/1814.

It is slightly different than the original one, but should have the same
effect.

Thanks,

Alex.



signature.asc
Description: OpenPGP digital signature
--
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=254741911&iu=/4140___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Re: Turmvilla Memory

2015-11-30 Thread Harm de Vries 
Hello Alex,

It seems to work, thanks! The new log output I get is given below.

Kind regards,

Harm

471 :phys_alloc: Allocator 18db20 dump:
 Block: [,0009d000) size=0009d000 avail=0009d000 max_avail=0009d000
 Block: [0010,1000) size=0ff0 avail=0ff0 max_avail=32e00
 Block: [1000b000,bf01f000) size=af014000 avail=af014000 max_avail=32e00
 Block: [1,42e00) size=32e00 avail=32e00
max_avail=32e00
 => mem_size=16860778496 (16079 MB) / mem_avail=16860778496 (16079 MB)
502 :phys_alloc: Allocator 18db20 dump:
 Block: [,0009d000) size=0009d000 avail=0009d000 max_avail=0009d000
 Block: [0010,0040) size=0030 avail=0030 max_avail=6bbcd000
 Block: [0280,1000) size=0d80 avail=0d80 max_avail=0d80
 Block: [1000b000,7bbd8000) size=6bbcd000 avail=6bbcd000 max_avail=6bbcd000
 Block: [7d8ce000,7d8cf000) size=1000 avail=1000 max_avail=32e00
 Block: [8000,bf01f000) size=3f01f000 avail=3f01f000 max_avail=3f01f000
 Block: [1,42e00) size=32e00 avail=32e00
max_avail=32e00
 => mem_size=16751566848 (15975 MB) / mem_avail=16751566848 (15975 MB)
523 :phys_alloc: Allocator 18db20 dump:
 Block: [1000,0009d000) size=0009c000 avail=0009c000 max_avail=0009c000
 Block: [0010,0040) size=0030 avail=0030 max_avail=0d80
 Block: [0280,1000) size=0d80 avail=0d80 max_avail=0d80
 Block: [1000b000,7bbd8000) size=6bbcd000 avail=6bbcd000 max_avail=32e00
 Block: [80001000,bf01f000) size=3f01e000 avail=3f01e000 max_avail=3f01e000
 Block: [1,42e00) size=32e00 avail=32e00
max_avail=32e00
 => mem_size=16751554560 (15975 MB) / mem_avail=16751554560 (15975 MB)
core
[...]
iwlwifi-7260-8.ucode
Genode 15.08-243-g3f43a6a 
int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 15974 MB to init

On Fri, Nov 27, 2015 at 5:09 PM, Alexander Boettcher <
alexander.boettc...@genode-labs.com> wrote:

> Hello Harm,
>
> thanks for the log. Please try commit [0].
>
> Does it work for you ?
>
> Cheers,
>
> Alex.
>
>
> https://github.com/alex-ab/genode/commit/9fee4d13fdfb615f13dd36cd461c5c8800955676
>
> On 27.11.2015 16:04, Harm de Vries wrote:
> > Hello Alex,
> >
> > Thank you for looking into my problem. Given below is the log output you
> > requested.
> >
> > Kind 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
> > [ 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 0x - size: 0x9d000
> > region=1 type=2 0x0009d000 - size: 0x3000
> > region=2 type=2 0x000e - size: 0x2
> > region=3 type=1 0x0010 - size: 0xff0
> > region=4 type=2 0x1000 - size: 0xb000
> > region=5 type=1 0x1000b000 - size: 0xaf014000
> > region=6 type=2 0xbf01f000 - size: 0xdbe
> > region=7 type=4 0xccbff000 - size: 0x18
> > region=8 type=3 0xccd7f000 - size: 0x8
> > region=9 type=2 0xccdff000 - size: 0x3201000
> > region=10 type=2 0xf800 - size: 0x400
> > region=11 type=2 0xfec0 - size: 0x1000
> > region=12 type=2 0xfed08000 - size: 0x1000
> > region=13 type=2 0xfed1 - size: 0xa000
> > region=14 type=2 0xfed1c000 - size: 0x4000
> > region=15 type=2 0xfee0 - size: 0x1000
> > region=16 type=2 0xffa0 - size: 0x60
> > region=17 type=1 0x0001 - size: 0x32e00
> > region=18 type=fffe 0x7bbd8000 - size: 0xe7430
> > region=19 type=fffe 0x7bcc - size: 0x5b02
> > region=20 type=fffe 0x7bcc6000 - size: 0x5fdd0
> > region=21 type=fffe 0x7bd26000 - size: 0x5acd0
> > region=22 type=fffe 0x7bd81000 - size: 0x5ac58
> > region=23 type=fffe 0x7bddc000 - size: 0x72c08
> > region=24 type=fffe 0x7be4f000 - size: 0x9b9e8
> > region=25 type=fffe 0x7beeb000 - size: 0x10aa60
> > region=26 type=fffe 0x7bff6000 - size: 0x285f0
> > region=27 type=fffe 0x7c01f000 - size: 0x9a10
> > region=28 type=fffe 0x7c029000 - size: 0x5db8
> > region=29 type=fffe 0x7c02f000 - size: 0x13238
> > region=30 type=fffe 0x7c043000 - size: 0xe71e8
> > region=31 type=fffe 0x7c12b000 - size: 0xdeaf0
> > region=32 type=fffe 0x7c20a000 - size: 0x1cdbf0
> > region=33 type=fffe 0x7c3d8000 - size: 0x12bd78
> > region=34 type=fffe 0x7c504000 - size: 0x241d8
> > region=35 type=fffe 0x7c529000 - size: 0x80b310
> > region=36 type=fffe 0x7cd35000 - siz

Re: Turmvilla Memory

2015-11-27 Thread Alexander Boettcher 
Hello Harm,

thanks for the log. Please try commit [0].

Does it work for you ?

Cheers,

Alex.

https://github.com/alex-ab/genode/commit/9fee4d13fdfb615f13dd36cd461c5c8800955676

On 27.11.2015 16:04, Harm de Vries wrote:
> Hello Alex,
> 
> Thank you for looking into my problem. Given below is the log output you
> requested.
> 
> Kind 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
> [ 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 0x - size: 0x9d000
> region=1 type=2 0x0009d000 - size: 0x3000
> region=2 type=2 0x000e - size: 0x2
> region=3 type=1 0x0010 - size: 0xff0
> region=4 type=2 0x1000 - size: 0xb000
> region=5 type=1 0x1000b000 - size: 0xaf014000
> region=6 type=2 0xbf01f000 - size: 0xdbe
> region=7 type=4 0xccbff000 - size: 0x18
> region=8 type=3 0xccd7f000 - size: 0x8
> region=9 type=2 0xccdff000 - size: 0x3201000
> region=10 type=2 0xf800 - size: 0x400
> region=11 type=2 0xfec0 - size: 0x1000
> region=12 type=2 0xfed08000 - size: 0x1000
> region=13 type=2 0xfed1 - size: 0xa000
> region=14 type=2 0xfed1c000 - size: 0x4000
> region=15 type=2 0xfee0 - size: 0x1000
> region=16 type=2 0xffa0 - size: 0x60
> region=17 type=1 0x0001 - size: 0x32e00
> region=18 type=fffe 0x7bbd8000 - size: 0xe7430
> region=19 type=fffe 0x7bcc - size: 0x5b02
> region=20 type=fffe 0x7bcc6000 - size: 0x5fdd0
> region=21 type=fffe 0x7bd26000 - size: 0x5acd0
> region=22 type=fffe 0x7bd81000 - size: 0x5ac58
> region=23 type=fffe 0x7bddc000 - size: 0x72c08
> region=24 type=fffe 0x7be4f000 - size: 0x9b9e8
> region=25 type=fffe 0x7beeb000 - size: 0x10aa60
> region=26 type=fffe 0x7bff6000 - size: 0x285f0
> region=27 type=fffe 0x7c01f000 - size: 0x9a10
> region=28 type=fffe 0x7c029000 - size: 0x5db8
> region=29 type=fffe 0x7c02f000 - size: 0x13238
> region=30 type=fffe 0x7c043000 - size: 0xe71e8
> region=31 type=fffe 0x7c12b000 - size: 0xdeaf0
> region=32 type=fffe 0x7c20a000 - size: 0x1cdbf0
> region=33 type=fffe 0x7c3d8000 - size: 0x12bd78
> region=34 type=fffe 0x7c504000 - size: 0x241d8
> region=35 type=fffe 0x7c529000 - size: 0x80b310
> region=36 type=fffe 0x7cd35000 - size: 0x5d010
> region=37 type=fffe 0x7cd93000 - size: 0x10eb00
> region=38 type=fffe 0x7cea2000 - size: 0x4e678
> region=39 type=fffe 0x7cef1000 - size: 0x72f50
> region=40 type=fffe 0x7cf64000 - size: 0x51b48
> region=41 type=fffe 0x7cfb6000 - size: 0x5de78
> region=42 type=fffe 0x7d014000 - size: 0x5b660
> region=43 type=fffe 0x7d07 - size: 0x7db88
> region=44 type=fffe 0x7d0ee000 - size: 0x7d3b0
> region=45 type=fffe 0x7d16c000 - size: 0x563f0
> region=46 type=fffe 0x7d1c3000 - size: 0x62738
> region=47 type=fffe 0x7d226000 - size: 0x610c0
> region=48 type=fffe 0x7d288000 - size: 0x69ca8
> region=49 type=fffe 0x7d2f2000 - size: 0x6efd0
> region=50 type=fffe 0x7d361000 - size: 0x542b0
> region=51 type=fffe 0x7d3b6000 - size: 0x69348
> region=52 type=fffe 0x7d42 - size: 0x710d0
> region=53 type=fffe 0x7d492000 - size: 0x5fa40
> region=54 type=fffe 0x7d4f2000 - size: 0x184e0
> region=55 type=fffe 0x7d50b000 - size: 0x52d10
> region=56 type=fffe 0x7d55e000 - size: 0x37
> region=57 type=fffe 0x7d8cf000 - size: 0x8d1800
> region=58 type=fffe 0x7e1a1000 - size: 0x1312800
> region=59 type=fffe 0x7f4b4000 - size: 0x596b8
> region=60 type=fffe 0x7f50e000 - size: 0x50148
> region=61 type=fffe 0x7f55f000 - size: 0x10a60
> region=62 type=fffe 0x7f57 - size: 0x53388
> region=63 type=fffe 0x7f5c4000 - size: 0x15bf0
> region=64 type=fffe 0x7f5da000 - size: 0x58530
> region=65 type=fffe 0x7f633000 - size: 0x83e8
> region=66 type=fffe 0x7f63c000 - size: 0x1dee90
> region=67 type=fffe 0x7f81b000 - size: 0x6e7c0
> region=68 type=fffe 0x7f88a000 - size: 0x334d0
> region=69 type=fffe 0x7f8be000 - size: 0x703a0
> region=70 type=fffe 0x7f92f000 - size: 0x1563b8
> region=71 type=fffe 0x7fa86000 - size:

Re: Turmvilla Memory

2015-11-27 Thread Harm de Vries 
Hello Alex,

Thank you for looking into my problem. Given below is the log output you
requested.

Kind 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
[ 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 0x - size: 0x9d000
region=1 type=2 0x0009d000 - size: 0x3000
region=2 type=2 0x000e - size: 0x2
region=3 type=1 0x0010 - size: 0xff0
region=4 type=2 0x1000 - size: 0xb000
region=5 type=1 0x1000b000 - size: 0xaf014000
region=6 type=2 0xbf01f000 - size: 0xdbe
region=7 type=4 0xccbff000 - size: 0x18
region=8 type=3 0xccd7f000 - size: 0x8
region=9 type=2 0xccdff000 - size: 0x3201000
region=10 type=2 0xf800 - size: 0x400
region=11 type=2 0xfec0 - size: 0x1000
region=12 type=2 0xfed08000 - size: 0x1000
region=13 type=2 0xfed1 - size: 0xa000
region=14 type=2 0xfed1c000 - size: 0x4000
region=15 type=2 0xfee0 - size: 0x1000
region=16 type=2 0xffa0 - size: 0x60
region=17 type=1 0x0001 - size: 0x32e00
region=18 type=fffe 0x7bbd8000 - size: 0xe7430
region=19 type=fffe 0x7bcc - size: 0x5b02
region=20 type=fffe 0x7bcc6000 - size: 0x5fdd0
region=21 type=fffe 0x7bd26000 - size: 0x5acd0
region=22 type=fffe 0x7bd81000 - size: 0x5ac58
region=23 type=fffe 0x7bddc000 - size: 0x72c08
region=24 type=fffe 0x7be4f000 - size: 0x9b9e8
region=25 type=fffe 0x7beeb000 - size: 0x10aa60
region=26 type=fffe 0x7bff6000 - size: 0x285f0
region=27 type=fffe 0x7c01f000 - size: 0x9a10
region=28 type=fffe 0x7c029000 - size: 0x5db8
region=29 type=fffe 0x7c02f000 - size: 0x13238
region=30 type=fffe 0x7c043000 - size: 0xe71e8
region=31 type=fffe 0x7c12b000 - size: 0xdeaf0
region=32 type=fffe 0x7c20a000 - size: 0x1cdbf0
region=33 type=fffe 0x7c3d8000 - size: 0x12bd78
region=34 type=fffe 0x7c504000 - size: 0x241d8
region=35 type=fffe 0x7c529000 - size: 0x80b310
region=36 type=fffe 0x7cd35000 - size: 0x5d010
region=37 type=fffe 0x7cd93000 - size: 0x10eb00
region=38 type=fffe 0x7cea2000 - size: 0x4e678
region=39 type=fffe 0x7cef1000 - size: 0x72f50
region=40 type=fffe 0x7cf64000 - size: 0x51b48
region=41 type=fffe 0x7cfb6000 - size: 0x5de78
region=42 type=fffe 0x7d014000 - size: 0x5b660
region=43 type=fffe 0x7d07 - size: 0x7db88
region=44 type=fffe 0x7d0ee000 - size: 0x7d3b0
region=45 type=fffe 0x7d16c000 - size: 0x563f0
region=46 type=fffe 0x7d1c3000 - size: 0x62738
region=47 type=fffe 0x7d226000 - size: 0x610c0
region=48 type=fffe 0x7d288000 - size: 0x69ca8
region=49 type=fffe 0x7d2f2000 - size: 0x6efd0
region=50 type=fffe 0x7d361000 - size: 0x542b0
region=51 type=fffe 0x7d3b6000 - size: 0x69348
region=52 type=fffe 0x7d42 - size: 0x710d0
region=53 type=fffe 0x7d492000 - size: 0x5fa40
region=54 type=fffe 0x7d4f2000 - size: 0x184e0
region=55 type=fffe 0x7d50b000 - size: 0x52d10
region=56 type=fffe 0x7d55e000 - size: 0x37
region=57 type=fffe 0x7d8cf000 - size: 0x8d1800
region=58 type=fffe 0x7e1a1000 - size: 0x1312800
region=59 type=fffe 0x7f4b4000 - size: 0x596b8
region=60 type=fffe 0x7f50e000 - size: 0x50148
region=61 type=fffe 0x7f55f000 - size: 0x10a60
region=62 type=fffe 0x7f57 - size: 0x53388
region=63 type=fffe 0x7f5c4000 - size: 0x15bf0
region=64 type=fffe 0x7f5da000 - size: 0x58530
region=65 type=fffe 0x7f633000 - size: 0x83e8
region=66 type=fffe 0x7f63c000 - size: 0x1dee90
region=67 type=fffe 0x7f81b000 - size: 0x6e7c0
region=68 type=fffe 0x7f88a000 - size: 0x334d0
region=69 type=fffe 0x7f8be000 - size: 0x703a0
region=70 type=fffe 0x7f92f000 - size: 0x1563b8
region=71 type=fffe 0x7fa86000 - size: 0x15bf0
region=72 type=fffe 0x7fa9c000 - size: 0x1213
region=73 type=fffe 0x7fa9e000 - size: 0x5ee28
region=74 type=fffe 0x7fafd000 - size: 0x567b0
region=75 type=fffe 0x7fb54000 - size: 0x605e0
region=76 type=fffe 0x7fbb5000 - size: 0x5ca18
region=77 type=fffe 0x7fc12000 - size: 0xf8150
region=78 type=fffe 0x7fd

Re: Turmvilla Memory

2015-11-27 Thread Alexander Boettcher 
Hello Harm,

may you please cherry-pick following commit and post the output until
"int main(): --- create local services ---".

Thanks,

Alex.

[0]
https://github.com/alex-ab/genode/commit/92b021bc0508edc34d056a59cd54b17d251930a8


--
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Re: Turmvilla Memory

2015-11-26 Thread Christian Helmuth 
Hi,

On Thu, Nov 26, 2015 at 07:57:59PM +0100, Harm de Vries wrote:
> 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: 0x - size: 0x9d000
> use  physical memory: 0x - size: 0x9d000
> detected physical memory: 0x0010 - size: 0xff0
> use  physical memory: 0x0010 - size: 0xff0
> detected physical memory: 0x1000b000 - size: 0xaf014000
> use  physical memory: 0x1000b000 - size: 0xaf014000
> detected physical memory: 0x0001 - size: 0x32e00
> use  physical memory: 0x0001 - size: 0x32e00
> map multi-boot module: physical 0x7bbd8000+0x000e7430 - core
[...]
> :phys_alloc: Allocator 18db20 dump:
>  Block: [1000,2000) size=1000 avail= max_avail=
[...]
>  Block: [1000b000,7bbd8000) size=6bbcd000 avail=6bbcd000 max_avail=6bbcd000
>  => mem_size=2037813248 (1943 MB) / mem_avail=2037202944 (1942 MB)

From this log snippets I deduce we may have an issue in the code
parsing NOVA's memory descriptors or in the memory descriptors
themselves. I looks like all memory above the multi-boot modules is
lost for core although NOVA reports to use it.

We'll have a look and report back (maybe after the release).

Cheers
-- 
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

Re: Turmvilla Memory

2015-11-26 Thread Harm de Vries 
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: 0x - size: 0x9d000
use  physical memory: 0x - size: 0x9d000
detected physical memory: 0x0010 - size: 0xff0
use  physical memory: 0x0010 - size: 0xff0
detected physical memory: 0x1000b000 - size: 0xaf014000
use  physical memory: 0x1000b000 - size: 0xaf014000
detected physical memory: 0x0001 - size: 0x32e00
use  physical memory: 0x0001 - size: 0x32e00
map multi-boot module: physical 0x7bbd8000+0x000e7430 - core
map multi-boot module: physical 0x7bcc+0x5b02 - 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+0x9a10 - pthread.lib.so
map multi-boot module: physical 0x7c029000+0x5db8 -
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 0x7d07+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 0x7d42+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+0x0037 - 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 0x7f57+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+0x83e8 -
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+0x1213 - vm_linux.vbox
map multi-boot module: physical 0x7fa9e000+0x0005ee28 -
trace_subject_reporter
map multi-boot module: physical 0x7fafd000+0x0005

Re: Turmvilla Memory

2015-11-26 Thread Christian Helmuth 
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: [0280,1000) size=0d80 avail=0d80 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: 0x - size: 0x9fc00
 use  physical memory: 0x - size: 0x9f000
 detected physical memory: 0x0010 - size: 0x7ee
 use  physical memory: 0x0010 - size: 0x7ee

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

Re: Turmvilla Memory

2015-11-26 Thread Alexander Boettcher 
Hello,

On 25.11.2015 20:25, Harm de Vries wrote:
> $ make prepare
> nova  download https://github.com/alex-ab/NOVA.git
> Cloning into 'src/kernel/nova'...
> remote: Counting objects: 4810, done.
> remote: Compressing objects: 100% (79/79), done.
> remote: Total 4810 (delta 53), reused 0 (delta 0), pack-reused 4731
> Receiving objects: 100% (4810/4810), 5.99 MiB | 3.55 MiB/s, done.
> Resolving deltas: 100% (3517/3517), done.
> Checking connectivity... done.
> nova  update src/kernel/nova
> fatal: reference is not a tree: 92a2b58a5860916dbf89f7b0289fe7862abaf728

My fault. The commit vanished from my repository already. I re-added the
commit. Please retry.

Alex.

--
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

Turmvilla Memory

2015-11-25 Thread Harm de Vries 
Hello all,

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: [0280,1000) size=0d80 avail=0d80 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: [,1000) size=1000 avail=1000 max_avail=1000
 Block: [0009d000,0010) size=00063000 avail=00063000 max_avail=00063000
 Block: [1000,1000b000) size=b000 avail=b000
max_avail=fffbd1fff000
 Block: [bf01f000,1) size=40fe1000 avail=40fe1000
max_avail=fffbd1fff000
 Block: [42e00,f000) size=fffbd1fff000
avail=fffbd1fff000 max_avail=fffbd1fff000
 => mem_size=18446744056848773120 (17592186028336 MB) /
mem_avail=18446744056848773120 (17592186028336 MB)
Genode 15.08-241-g656aa4a 
int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 1942 MB to init

When I tried to build the configuration on a different machine the
following error occurred while trying to prepare the Nova kernel.

$ make prepare
nova  download https://github.com/alex-ab/NOVA.git
Cloning into 'src/kernel/nova'...
remote: Counting objects: 4810, done.
remote: Compressing objects: 100% (79/79), done.
remote: Total 4810 (delta 53), reused 0 (delta 0), pack-reused 4731
Receiving objects: 100% (4810/4810), 5.99 MiB | 3.55 MiB/s, done.
Resolving deltas: 100% (3517/3517), done.
Checking connectivity... done.
nova  update src/kernel/nova
fatal: reference is not a tree: 92a2b58a5860916dbf89f7b0289fe7862abaf728
make[2]: *** [nova.git] Error 128
make[1]: *** [_install_in_port_dir] Error 2
make: *** [prepare] Error 2

Again, does anyone know what causes this?

Kind regards, Harm
--
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