drivers/tee/optee/Kconfig

   1 # OP-TEE Trusted Execution Environment Configuration
   2 config 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
   9 config 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.