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 ifndef CONFIG_SPL_BUILD
20 obj-$(CONFIG_ARMV8_SPIN_TABLE) += spin_table.o spin_table_v8.o
22 obj-$(CONFIG_ARMV8_SEC_FIRMWARE_SUPPORT) += sec_firmware.o sec_firmware_asm.o
24 obj-$(CONFIG_FSL_LAYERSCAPE) += fsl-layerscape/
25 obj-$(CONFIG_S32V234) += s32v234/
26 obj-$(CONFIG_ARCH_ZYNQMP) += zynqmp/
27 obj-$(CONFIG_TARGET_HIKEY) += hisilicon/
28 obj-$(CONFIG_ARMV8_PSCI) += psci.o