• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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