# SPDX-License-Identifier: GPL-2.0-only
# OP-TEE Trusted Execution Environment Configuration
config DEVICE_MODULES_OPTEE
	tristate "OP-TEE"
	depends on HAVE_ARM_SMCCC
	depends on MMU
	help
	  This implements the OP-TEE Trusted Execution Environment (TEE)
	  driver.

config DEVICE_MODULES_OPTEE_SHM_NUM_PRIV_PAGES
	int "Private Shared Memory Pages"
	default 1
	depends on DEVICE_MODULES_OPTEE
	help
	  This sets the number of private shared memory pages to be
	  used by OP-TEE TEE driver.

config DEVICE_MODULES_OPTEE_REE_CONSOLE
	tristate "OP-TEE REE Console"
	default y
	depends on DEVICE_MODULES_OPTEE
	help
	  This implements the mechanism to accept log from OP-TEE RPC
	  which use share buffer to store log buffer in tee , trigger
	  linux kernel tee driver to flush to uart through optee rpc
	  service call.

config DEVICE_MODULES_OPTEE_REE_CLK_CTRL
	tristate "OP-TEE REE Clock Control"
	default y
	depends on DEVICE_MODULES_OPTEE && OF
	help
	This implements the mechanism to control clock by request from
	OP-TEE RPC.