genode/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 pl011 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: Framebuffer and platform drivers The platform driver is used to access the features provided by the Videocore mboxes, i.e., power configuration and framebuffer setup. The framebuffer driver uses the platform interface to setup a screen mode of 1024x768. 2013-09-15 15:48:10 +00:00			`SPECS += arm_v6 pl011 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)`