18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0-only 28c2ecf20Sopenharmony_ci# OP-TEE Trusted Execution Environment Configuration 38c2ecf20Sopenharmony_ciconfig OPTEE 48c2ecf20Sopenharmony_ci tristate "OP-TEE" 58c2ecf20Sopenharmony_ci depends on HAVE_ARM_SMCCC 68c2ecf20Sopenharmony_ci depends on MMU 78c2ecf20Sopenharmony_ci help 88c2ecf20Sopenharmony_ci This implements the OP-TEE Trusted Execution Environment (TEE) 98c2ecf20Sopenharmony_ci driver. 108c2ecf20Sopenharmony_ci 118c2ecf20Sopenharmony_ciconfig OPTEE_SHM_NUM_PRIV_PAGES 128c2ecf20Sopenharmony_ci int "Private Shared Memory Pages" 138c2ecf20Sopenharmony_ci default 1 148c2ecf20Sopenharmony_ci depends on OPTEE 158c2ecf20Sopenharmony_ci help 168c2ecf20Sopenharmony_ci This sets the number of private shared memory pages to be 178c2ecf20Sopenharmony_ci used by OP-TEE TEE driver. 18