Hi TimIf 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
-- Lic. Reinier Millo Sánchez Centro de Estudios de Informática Universidad Central "Marta Abreu" de Las Villas "antes de discutir ... respira; antes de hablar ... escucha; antes de escribir ... piensa; antes de herir ... siente; antes de rendirte ... intenta; antes de morir ... vive"
<<attachment: rmillo.vcf>>
------------------------------------------------------------------------------ Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server from Actuate! Instantly Supercharge Your Business Reports and Dashboards with Interactivity, Sharing, Native Excel Exports, App Integration & more Get technology previously reserved for billion-dollar corporations, FREE http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.clktrk
_______________________________________________ genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
