ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

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.
This commit is contained in:
Christian Helmuth 2014-11-21 08:53:26 +01:00
parent b8ba3a7a22
commit 58b6c88301
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base/mk/spec-platform_rpi.mk
View File

@ -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