Hi Nick,
thanks for giving the Raspberry-Pi support a go! :-)
: make[3]: *** No rule to make target `_setjmp.o', needed by `libc-setjmp.lib.a'
Any ideas?
setjmp/longjmp is provided by the libc. You certainly missed the step of preparing the 3rd-party code for the libc. From within the 'libports' repository, issue the following command to download and integrate the needed 3rd-party code into Genode's source tree:
make prepare PKG=libc
Cheers Norman