1# SPDX-License-Identifier: GPL-2.0 WITH Linux-syscall-note
2#
3# (C) COPYRIGHT 2021 ARM Limited. All rights reserved.
4#
5# This program is free software and is provided to you under the terms of the
6# GNU General Public License version 2 as published by the Free Software
7# Foundation, and any use by you of this program is subject to the terms
8# of such GNU license.
9#
10# This program is distributed in the hope that it will be useful,
11# but WITHOUT ANY WARRANTY; without even the implied warranty of
12# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13# GNU General Public License for more details.
14#
15# You should have received a copy of the GNU General Public License
16# along with this program; if not, you can access it online at
17# http://www.gnu.org/licenses/gpl-2.0.html.
18#
19#
20
21bifrost_kbase-y += \
22    mmu/mali_kbase_mmu.o \
23    mmu/mali_kbase_mmu_hw_direct.o \
24    mmu/mali_kbase_mmu_mode_aarch64.o
25
26ifeq ($(CONFIG_MALI_CSF_SUPPORT),y)
27    bifrost_kbase-y += mmu/backend/mali_kbase_mmu_csf.o
28else
29    bifrost_kbase-y += mmu/backend/mali_kbase_mmu_jm.o
30endif
31