base-hw rpi: compiling UART driver fails

[Stefan Kalkowski]

this was already reported by Tim Newsham 6 days ago and got fixed as
explained by Christian Helmuth, see the thread "rpi_hw build failure".

On 11/27/2014 08:02 AM, Nobody III wrote:
> 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
> <http://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
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
> 

-- 
Stefan Kalkowski
Genode Labs

http://www.genode-labs.com/ · http://genode.org/