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