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

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