1# SPDX-License-Identifier: GPL-2.0+ 2# 3# (C) Copyright 2012 Henrik Nordstrom <henrik@henriknordstrom.net> 4# 5# Based on some other Makefile 6# (C) Copyright 2000-2003 7# Wolfgang Denk, DENX Software Engineering, wd@denx.de. 8obj-y += timer.o 9 10obj-$(CONFIG_MACH_SUN6I) += tzpc.o 11obj-$(CONFIG_MACH_SUN8I_H3) += tzpc.o 12 13ifndef CONFIG_SPL_BUILD 14obj-$(CONFIG_ARMV7_PSCI) += psci.o 15endif 16 17ifdef CONFIG_SPL_BUILD 18obj-y += fel_utils.o 19endif 20