base-hw rpi: compiling UART driver fails

Nobody III hungryninja101 at ...9...
Thu Nov 27 08:02:33 CET 2014

When I try to compile the genode UART driver for the raspberry pi, I get
the following output:

  Program drivers/uart/pl011/uart_drv
    COMPILE  main.o
fatal error: pl011_defs.h: No such file or directory
compilation terminated.
/home/kingtux/Downloads/genode-master/repos/base/mk/ recipe
for target 'main.o' failed
make[2]: *** [main.o] Error 1
var/libdeps:1771: recipe for target 'uart_drv.prg' failed
make[1]: *** [uart_drv.prg] Error 2
Makefile:209: recipe for target 'gen_deps_and_build_targets' failed
make: *** [gen_deps_and_build_targets] Error 2

Can anyone fix this or help me understand what's going on?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list