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
13 ifdef CONFIG_SPL_BUILD
14 obj-$(CONFIG_ARMV8_SPL_EXCEPTION_VECTORS) += exceptions.o
23 obj-$(CONFIG_ARM_SMCCC) += smccc-call.o
25 ifndef CONFIG_SPL_BUILD
26 obj-$(CONFIG_ARMV8_SPIN_TABLE) += spin_table.o spin_table_v8.o
28 obj-$(CONFIG_$(SPL_)ARMV8_SEC_FIRMWARE_SUPPORT) += sec_firmware.o sec_firmware_asm.o
30 obj-$(CONFIG_FSL_LAYERSCAPE) += fsl-layerscape/
31 obj-$(CONFIG_S32V234) += s32v234/
32 obj-$(CONFIG_ARCH_ZYNQMP) += zynqmp/
33 obj-$(CONFIG_TARGET_HIKEY) += hisilicon/
34 obj-$(CONFIG_ARMV8_PSCI) += psci.o
35 obj-$(CONFIG_ARCH_SUNXI) += lowlevel_init.o