# SPDX-License-Identifier: GPL-2.0 WITH Linux-syscall-note OR MIT
#
# (C) COPYRIGHT 2022-2024 ARM Limited. All rights reserved.
#
# This program is free software and is provided to you under the terms of the
# GNU General Public License version 2 as published by the Free Software
# Foundation, and any use by you of this program is subject to the terms
# of such GNU license.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program; if not, you can access it online at
# http://www.gnu.org/licenses/gpl-2.0.html.
#
#

config MALI_HAS_ARBITER
	bool "Build a reference arbiter"
	depends on MALI_MIDGARD
	default n
	default y if BSP_HAS_HYPERVISOR && BUILD_KERNEL_MODULES
	default y if GPU_TBAX
	help
	  Build a reference arbiter implementation.

	  If unsure, say N.

config BUILD_ARBITER_MODULES
	bool "Build a reference arbiter kernel modules"
	depends on BUILD_KERNEL_MODULES
	default n
	default y if MALI_HAS_ARBITER
	help
	  Build a daisy chain reference arbiter useful
	  to manage Mali to different Virtual Machines

	  If unsure, say N.

