drivers/tee/Kconfig

   1 # SPDX-License-Identifier: GPL-2.0-only
   2 # Generic Trusted Execution Environment Configuration
   3 config TEE
   4         tristate "Trusted Execution Environment support"
   5         depends on HAVE_ARM_SMCCC || COMPILE_TEST
   6         select DMA_SHARED_BUFFER
   7         select GENERIC_ALLOCATOR
   8         help
   9           This implements a generic interface towards a Trusted Execution
  10           Environment (TEE).
  11
  12 if TEE
  13
  14 menu "TEE drivers"
  15
  16 source "drivers/tee/optee/Kconfig"
  17
  18 endmenu
  19
  20 endif