Hello Konstantin,

welcome to the list.

On Sat, Jun 02, 2018 at 02:42:53PM +0000, zabarnyi@campus.technion.ac.il wrote:

This is my first experience with Genode. I am trying to run a demo for Genode 17.05 (with toolchain 17.05, 64 bits), on an Oracle VM VirtualBox (5.2.10-122406) virtual machine, with Linux Ubuntu 16.04.4 (64 bits) OS. I am following the guide on https://genode.org/documentation/developer-resources/getting_started and I have already installed all the packages mentioned in this guide.

This version is one year old and many things happened since then in Genode (and also in Ubuntu).

cd build/x86_64 make KERNEL=linux run/demo

the build of Genode succeeds, but the demo fails with the following error message:

genode build completed

using 'core-linux' as 'core'

using 'ld-linux.lib.so' as 'ld.lib.so'

using 'linux_timer_drv' as 'timer'

spawn ./core

Genode 17.05

17592186044415 MiB RAM and 8998 caps assigned to init

Warning: blocking canceled in entrypoint constructor

This issue was fixed in September [1] and was caused by a change in the Linux kernel (introduced by an Ubuntu update) that broke our heuristics. I suggest you update to Genode 18.05.

[1] https://github.com/genodelabs/genode/issues/2521

Regards