1 # SPDX-License-Identifier: GPL-2.0+
3 # (C) Copyright 2000-2003
4 # Wolfgang Denk, DENX Software Engineering, wd@denx.de.
9 ifndef CONFIG_$(SPL_TPL_)TIMER
10 obj-$(CONFIG_SYS_ARCH_TIMER) += generic_timer.o
19 obj-$(CONFIG_ARM_SMCCC) += smccc-call.o
21 ifndef CONFIG_SPL_BUILD
22 obj-$(CONFIG_ARMV8_SPIN_TABLE) += spin_table.o spin_table_v8.o
24 obj-$(CONFIG_$(SPL_)ARMV8_SEC_FIRMWARE_SUPPORT) += sec_firmware.o sec_firmware_asm.o
26 obj-$(CONFIG_FSL_LAYERSCAPE) += fsl-layerscape/
27 obj-$(CONFIG_S32V234) += s32v234/
28 obj-$(CONFIG_ARCH_ZYNQMP) += zynqmp/
29 obj-$(CONFIG_TARGET_HIKEY) += hisilicon/
30 obj-$(CONFIG_ARMV8_PSCI) += psci.o
31 obj-$(CONFIG_ARCH_SUNXI) += lowlevel_init.o