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 depends on MMU 7 help 8 This implements the OP-TEE Trusted Execution Environment (TEE) 9 driver. 10 11config OPTEE_SHM_NUM_PRIV_PAGES 12 int "Private Shared Memory Pages" 13 default 1 14 depends on OPTEE 15 help 16 This sets the number of private shared memory pages to be 17 used by OP-TEE TEE driver. 18