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         depends on MMU
   7         help
   8           This implements the OP-TEE Trusted Execution Environment (TEE)
   9           driver.
  10
  11 config 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.