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

config OPTEE_REE_CONSOLE
	tristate "OP-TEE REE Console"
	default n
	depends on OPTEE && !OPTEE_RAMLOG
	help
	  This implements the mechanism to accept log from OP-TEE RPC.

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

config OPTEE_RAMLOG
	tristate "OP-TEE RAMLOG"
	default y
	depends on OPTEE
	help
	  It implements the mechanism to accept OP-TEE (Open Trusted
	  Execution Environment) log from a share buffer between REE and
	  TEE. OP-TEE OS put all logs into the share memory while a
	  thread in REE kernel prints the log from share buffer as kernel
	  log regularly.
