| # 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. |
