mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-30 10:38: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
422 B
Makefile
16 lines
422 B
Makefile
#
|
|
# \brief Build configurations for 'base-hw' on Freescale i.MX31
|
|
# \author Martin Stein
|
|
# \date 2011-12-20
|
|
#
|
|
|
|
# denote wich specs are also fullfilled by this spec
|
|
SPECS += hw platform_imx31 epit
|
|
|
|
# set address where to link the text segment at
|
|
LD_TEXT_ADDR ?= 0x82000000
|
|
|
|
# include implied specs
|
|
include $(call select_from_repositories,mk/spec-hw.mk)
|
|
include $(call select_from_repositories,mk/spec-platform_imx31.mk)
|