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