# SPDX-License-Identifier: GPL-2.0+
#
# Copyright (C) 2023 Texas Instruments Incorporated - https://www.ti.com/

obj-y += arm64-mmu.o
obj-y += cache.o