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
/