Hello there,

after some time of abstinence, I tried to build sculpt-19.07 by cloning the repo.

Following the orders in doc/getting_started.txt I installed the prebuilt toolchain and created a build dir per

cd <genode-dir>
./tool/create_builddir x86_64

After that I wanted to run the demo per:

cd build/x86_64
make KERNEL=linux run/demo

but failed with:

schelm@ubuntu:~/Development/genode/build/x86_64$ make KERNEL=linux run/demo
including /home/schelm/Development/genode/tool/run/power_on/qemu
including /home/schelm/Development/genode/tool/run/log/qemu
including /home/schelm/Development/genode/tool/run/image/iso
including /home/schelm/Development/genode/tool/run/boot_dir/linux
including /home/schelm/Development/genode/repos/os/run/demo.run
building targets:  app/status_bar test/nitpicker
spawn make app/status_bar test/nitpicker
make[1]: Verzeichnis „/home/schelm/Development/genode/build/x86_64“ wird betreten
checking library dependencies...
  Library ldso-startup
  Library ld
  Library base
  Program test/nitpicker/testnit
  Program app/status_bar/status_bar
make[1]: Verzeichnis „/home/schelm/Development/genode/build/x86_64“ wird verlassen
genode build completed
checking configuration syntax
  CHECK init
Power cycle step failed, retry.
Power cycle step failed, retry.
Power cycle step failed, retry.
Boot process failed 3 times in series. I give up!
Makefile:323: recipe for target 'run/demo' failed
make: *** [run/demo] Error 255

Any idea?

Thanks in advance!

PS: Host OS is Ubuntu 18.04 LTS.