Request for Support on the RPI Target

Florian Gr├Ątz florian.graetz at ...9...
Mon Aug 15 10:18:48 CEST 2016

Dear community,

I would greatly appreciate you support on this matter. One of the
developers was so kind to point me to the RPi instructions included in the
13.11 release notes:

Still, this post does not answer all questions. What I have achieved so far:
- I cloned the repository
- I ran tool/ports/prepareport (which is not mentioned in the Raspberry Pi
post) and successfully downloaded dde_linux and libc sources
- I used tool/create_builddir to create the build/hw_rpi directory

I badly failed with the make -C dde_linux prepare_rpi command. It spit out:
make: Entering direcotry '/home/florian/git/genode/repos/dde_linux'
make: *** No rule to make target 'prepare_rpi'.  Stop.
make: Leaving directory '/home/florian/git/genode/repos/dde_linux'
No wonder, as this directory does not contain a Makefile. The same happends
with the make -C libports prpeare PKG=libc command.

Of course, make run/demo fails too.

Any hints what I have been missing?

Regards, Florian.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list