#
# Copyright (C) 2017-2018 Texas Instruments Incorporated - http://www.ti.com/
#	Lokesh Vutla <lokeshvutla@ti.com>
#
# SPDX-License-Identifier:	GPL-2.0+
#

obj-y += init.o
obj-y += utils.o
obj-$(CONFIG_ARM64) += arm64-mmu.o
obj-$(CONFIG_CPU_V7R) += lowlevel_init.o
obj-$(CONFIG_K3_LOAD_SYSFW) += sysfw-loader.o
