mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-29 01:58:55 +00:00
ce58a63fb6
Remove the 'epit' variable from the generic imx31 and imx53 specification, and only add it to base-hw specific i.MX specs. Thereby the EPIT timer library gets build for base-hw only. Moreover, fix some const-ness issues in the platform_timer implementation for the EPIT timer. Fixes #688.
16 lines
341 B
Makefile
16 lines
341 B
Makefile
#
|
|
# \brief Build-system configurations for Freescale i.MX31
|
|
# \author Martin Stein
|
|
# \date 2012-09-26
|
|
#
|
|
|
|
# denote wich specs are also fullfilled by this spec
|
|
SPECS += arm_v6
|
|
|
|
# add repository relative include paths
|
|
REP_INC_DIR += include/platform/imx31
|
|
|
|
# include implied specs
|
|
include $(call select_from_repositories,mk/spec-arm_v6.mk)
|
|
|