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.
------------------------------------------------------------------------------
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are
consuming the most bandwidth. Provides multi-vendor support for NetFlow,
J-Flow, sFlow and other flows. Make informed decisions using capacity
planning reports. http://sdm.link/zohodev2dev
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main
