1ed0e6051SLokesh Vutla# SPDX-License-Identifier: GPL-2.0+ 2ed0e6051SLokesh Vutla# 3ed0e6051SLokesh Vutla# Copyright (C) 2017-2018 Texas Instruments Incorporated - http://www.ti.com/ 4ed0e6051SLokesh Vutla# Lokesh Vutla <lokeshvutla@ti.com> 5ed0e6051SLokesh Vutla 6ed0e6051SLokesh Vutlaobj-$(CONFIG_SOC_K3_AM6) += am6_init.o 7e091832fSLokesh Vutlaobj-$(CONFIG_ARM64) += arm64-mmu.o 8*23f7b1a7SLokesh Vutlaobj-$(CONFIG_CPU_V7R) += r5_mpu.o 9