Request for Support on the RPI Target

[Florian Grätz]

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:
https://genode.org/documentation/release-notes/13.11#Raspberry_Pi

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: <http://lists.genode.org/pipermail/users/attachments/20160815/aaf3165c/attachment.html>