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.