2 # (C) Copyright 2000-2003
3 # Wolfgang Denk, DENX Software Engineering, wd@denx.de.
5 # SPDX-License-Identifier: GPL-2.0+
11 obj-y += generic_timer.o
19 obj-$(CONFIG_ARMV8_SEC_FIRMWARE_SUPPORT) += sec_firmware.o sec_firmware_asm.o
21 obj-$(CONFIG_FSL_LAYERSCAPE) += fsl-layerscape/
22 obj-$(CONFIG_S32V234) += s32v234/
23 obj-$(CONFIG_ARCH_ZYNQMP) += zynqmp/
24 obj-$(CONFIG_TARGET_HIKEY) += hisilicon/