Hi Tim If you don't tell which a run script to build, the framework try to compile all source code, and not all dependencies are satisfied,thats is the error.
For example to run Genode Demo for Raspberry PI you must prepare the dde_linux and libc port to include the USB drivers
./tool/ports/prepare_port dde_linux ./tool/ports/prepare_port libc
After that you must activate the repositories in the build.conf
REPOSITORIES += $(GENODE_DIR)/repos/libports REPOSITORIES += $(GENODE_DIR)/repos/dde_linux
To compile and test the example must run
make run/demo
In doc/release_notes-13-11.txt you can found a more detailed explanation.
Regards
On 11/21/2014 12:44 AM, Tim Newsham wrote:
$ ./tool/create_builddir hw_rpi BUILD_DIR=`pwd`/rpi $ cd rpi $ make
[...] /tmp/genode/genode-14.08/repos/os/src/drivers/uart/pl011/main.cc:17:24: fatal error: pl011_defs.h: No such file or directory compilation terminated. make[2]: *** [main.o] Error 1 make[1]: *** [uart_drv.prg] Error 2 make: *** [gen_deps_and_build_targets] Error 2