Turmvilla Memory

Christian Helmuth christian.helmuth at ...1...
Thu Nov 26 18:11:40 CET 2015

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.

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

More information about the users mailing list