rpi_hw build failure

[Christian Helmuth]

Hello Tim,

you discovered a misconfiguration of our specs for the Raspberry Pi
platform. The rpi provides only one UART, which is used by our core
process exclusively. Therefore, the specs for rpi must not include
"pl011" to prevent the driver server to be built. I just fixed our
staging branch in this regard (see attached patch). Genode 14.11 will
then contain the fix too.

Regards
-- 
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

On Thu, Nov 20, 2014 at 07:44:26PM -1000, 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
> 
> 
> -- 
> Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com
-------------- next part --------------
A non-text attachment was scrubbed...
Name: rpi.patch
Type: text/x-diff
Size: 868 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20141121/04f64da9/attachment.patch>