rpi_hw build failure

[Reinier Millo Sánchez]

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
>
>

-- 
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"

-------------- next part --------------
A non-text attachment was scrubbed...
Name: rmillo.vcf
Type: text/x-vcard
Size: 519 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20141121/827e7078/attachment.vcf>