1 # SPDX-License-Identifier: GPL-2.0+
3 # Copyright (C) 2017-2018 Texas Instruments Incorporated - http://www.ti.com/
4 # Lokesh Vutla <lokeshvutla@ti.com>
6 obj-$(CONFIG_SOC_K3_AM6) += am6_init.o
7 obj-$(CONFIG_ARM64) += arm64-mmu.o
8 obj-$(CONFIG_CPU_V7R) += r5_mpu.o lowlevel_init.o
9 obj-$(CONFIG_TI_SECURE_DEVICE) += security.o