genode/repos/base/mk/spec-platform_rpi.mk

#
# \brief  Build-system configurations for Raspberry Pi
# \author Norman Feske
# \date   2013-04-05
#

# denote wich specs are also fullfilled by this spec
SPECS += arm_v6 usb framebuffer

# add repository relative include paths
REP_INC_DIR += include/platform/rpi

# include implied specs
include $(call select_from_repositories,mk/spec-arm_v6.mk)
include $(call select_from_repositories,mk/spec-pl011.mk)
base-hw: Support for Raspberry Pi 2013-04-08 17:05:44 +00:00			`#`
			`# \brief Build-system configurations for Raspberry Pi`
			`# \author Norman Feske`
			`# \date 2013-04-05`
			`#`

			`# denote wich specs are also fullfilled by this spec`
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. 2014-11-21 07:53:26 +00:00			`SPECS += arm_v6 usb framebuffer`
base-hw: Support for Raspberry Pi 2013-04-08 17:05:44 +00:00
			`# add repository relative include paths`
			`REP_INC_DIR += include/platform/rpi`

			`# include implied specs`
			`include $(call select_from_repositories,mk/spec-arm_v6.mk)`
			`include $(call select_from_repositories,mk/spec-pl011.mk)`