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
/home/kingtux/Downloads/genode-master/repos/os/src/drivers/uart/pl011/main.cc:17:24:
fatal error: pl011_defs.h: No such file or directory
compilation terminated.
/home/kingtux/Downloads/genode-master/repos/base/mk/generic.mk:56: 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?
------------------------------------------------------------------------------
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
