Beginner question / running demo

Christian Helmuth christian.helmuth at
Wed Aug 14 15:21:09 CEST 2019

Hello Schelm,

welcome to the list!

On Wed, Aug 14, 2019 at 15:02:11 CEST, Schelm wrote:
> 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
> 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

The documentation misses the BOARD attribute, which is mandatory since
19.05. Please try to run the following.

  make KERNEL=linux BOARD=linux run/demo

I'll fix the documentation accordingly.

Christian Helmuth
Genode Labs · · /ˈ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