drivers/tee/optee/Kconfig

   1 # SPDX-License-Identifier: GPL-2.0-only
   2 # OP-TEE Trusted Execution Environment Configuration
   3 config OPTEE
   4         tristate "OP-TEE"
   5         depends on HAVE_ARM_SMCCC
   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.