1# SPDX-License-Identifier:	GPL-2.0+
2#
3# Copyright (C) 2017-2018 Texas Instruments Incorporated - http://www.ti.com/
4#	Lokesh Vutla <lokeshvutla@ti.com>
5
6obj-$(CONFIG_SOC_K3_AM6) += am6_init.o
7obj-$(CONFIG_SOC_K3_J721E) += j721e_init.o j721e/ j7200/
8obj-$(CONFIG_SOC_K3_AM642) += am642_init.o
9obj-$(CONFIG_ARM64) += arm64-mmu.o
10obj-$(CONFIG_CPU_V7R) += r5_mpu.o lowlevel_init.o
11obj-$(CONFIG_TI_SECURE_DEVICE) += security.o
12obj-$(CONFIG_ARM64) += cache.o
13ifeq ($(CONFIG_SPL_BUILD),y)
14obj-$(CONFIG_K3_LOAD_SYSFW) += sysfw-loader.o
15endif
16obj-y += common.o
17