1# SPDX-License-Identifier: GPL-2.0-only 2# OP-TEE Trusted Execution Environment Configuration 3config OPTEE 4 tristate "OP-TEE" 5 depends on HAVE_ARM_SMCCC 6 help 7 This implements the OP-TEE Trusted Execution Environment (TEE) 8 driver. 9 10config OPTEE_SHM_NUM_PRIV_PAGES 11 int "Private Shared Memory Pages" 12 default 1 13 depends on OPTEE 14 help 15 This sets the number of private shared memory pages to be 16 used by OP-TEE TEE driver. 17