Hello Harm, On Wed, Nov 25, 2015 at 08:25:54PM +0100, Harm de Vries wrote: > Today I tried to run the latest Turmvilla configuration on a Lenovo X250 > laptop (Nova 64bit kernel). However, although the machine has 16GB of of > memory only 1942MB is transferred to init, see the log below. Does anyone > have an idea what could cause this behaviour? > > Block: [02800000,10000000) size=0d800000 avail=0d800000 max_avail=6bbcd000 > Block: [1000b000,7bbd8000) size=6bbcd000 avail=6bbcd000 max_avail=6bbcd000 > => mem_size=2037813248 (1943 MB) / mem_avail=2037202944 (1942 MB)
This indeed looks strange if your notebook has 16 GiB of RAM. Could you please try to capture also the initial output of NOVA, which should look similar to NOVA Microhypervisor v7-84ce824 (x86_64): Nov 26 2015 17:54:18 [gcc 4.9.2] [ 0] CORE:0:0:0 6:f:b:0 [0] Intel(R) Core(TM)2 Duo CPU T7700 @ 2.40GHz Hypervisor reports 1x1 CPU - boot CPU is 0 CPU has no invariant TSC. Hypervisor info page contains 11 memory descriptors: detected physical memory: 0x0000000000000000 - size: 0x9fc00 use physical memory: 0x0000000000000000 - size: 0x9f000 detected physical memory: 0x0000000000100000 - size: 0x7ee0000 use physical memory: 0x0000000000100000 - size: 0x7ee0000 If your RAM is already missing from this output, we'd know where to look for the cause of the issue. Regards -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth ------------------------------------------------------------------------------ Go from Idea to Many App Stores Faster with Intel(R) XDK Give your users amazing mobile app experiences with Intel(R) XDK. Use one codebase in this all-in-one HTML5 development environment. Design, debug & build mobile apps & 2D/3D high-impact games for multiple OSs. http://pubads.g.doubleclick.net/gampad/clk?id=254741551&iu=/4140 _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
