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
>From 0098a18c5c323517842555b4c8bb7f66c3fd7bc7 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <[email protected]>
Date: Fri, 21 Nov 2014 08:53:26 +0100
Subject: [PATCH] rpi: remove spec for pl011
The Raspberry Pi has only one UART, which is used by core exclusively.
Therefore, the driver server for pl011 should not be built.
---
repos/base/mk/spec-platform_rpi.mk | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/repos/base/mk/spec-platform_rpi.mk b/repos/base/mk/spec-platform_rpi.mk
index aa1a2a9..06c8282 100644
--- a/repos/base/mk/spec-platform_rpi.mk
+++ b/repos/base/mk/spec-platform_rpi.mk
@@ -5,7 +5,7 @@
#
# denote wich specs are also fullfilled by this spec
-SPECS += arm_v6 pl011 usb framebuffer
+SPECS += arm_v6 usb framebuffer
# add repository relative include paths
REP_INC_DIR += include/platform/rpi
--
2.1.0
------------------------------------------------------------------------------
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
