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.