From 58b6c883013165a4138d4ab280f923680b308eb5 Mon Sep 17 00:00:00 2001 From: Christian Helmuth 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 aa1a2a9c2..06c828214 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