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

#
# \brief  Build-system configurations for Odroid XU
# \author Stefan Kalkowski
# \date   2013-11-25
#

# denote specs that are fullfilled by this spec
SPECS += exynos5 cortex_a15

# add repository relative paths
REP_INC_DIR += include/platform/odroid_xu
REP_INC_DIR += include/platform/exynos5

# include implied specs
include $(call select_from_repositories,mk/spec-cortex_a15.mk)
hw: basic support for ODROID XU board (Fix #991) 2013-12-03 10:10:13 +00:00			`#`
			`# \brief Build-system configurations for Odroid XU`
			`# \author Stefan Kalkowski`
			`# \date 2013-11-25`
			`#`

			`# denote specs that are fullfilled by this spec`
			`SPECS += exynos5 cortex_a15`

			`# add repository relative paths`
			`REP_INC_DIR += include/platform/odroid_xu`
odroid_xu: prevent tests with sd/platform/ahci/fb Drivers like SD-Card, platform, AHCI, and framebuffer are specified as Exynos5 compliant. But they are at least not compliant with Odroid-XU although this is Exynos5. Thus, prevent tests that rely on such drivers when building for hw_odoid_xu. Furthermore, make previous Arndale regulator/consts.h, uart_defs.h, and some Board_base enums available to all Exynos5 builds to enable at least building the drivers. Fixes #1419 2015-02-24 13:53:15 +00:00			`REP_INC_DIR += include/platform/exynos5`
hw: basic support for ODROID XU board (Fix #991) 2013-12-03 10:10:13 +00:00
			`# include implied specs`
			`include $(call select_from_repositories,mk/spec-cortex_a15.mk)`