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