21 Nov
2014
21 Nov
'14
9:03 a.m.
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