LXR linux/drivers/tee/optee/Kconfig

   1# SPDX-License-Identifier: GPL-2.0-only
   2# OP-TEE Trusted Execution Environment Configuration
   3config 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
  11config 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.
  18