xref: /openbmc/linux/drivers/tee/optee/Kconfig (revision 7c768f84) 
1# OP-TEE Trusted Execution Environment Configuration
2config OPTEE
3	tristate "OP-TEE"
4	depends on HAVE_ARM_SMCCC
5	help
6	  This implements the OP-TEE Trusted Execution Environment (TEE)
7	  driver.
8
9config OPTEE_SHM_NUM_PRIV_PAGES
10	int "Private Shared Memory Pages"
11	default 1
12	depends on OPTEE
13	help
14	  This sets the number of private shared memory pages to be
15	  used by OP-TEE TEE driver.
16