security/optee_linuxdriver/Kconfig

   1 #
   2 # Copyright (c) 2014, STMicroelectronics International N.V.
   3 #
   4 # This program is free software; you can redistribute it and/or modify
   5 # it under the terms of the GNU General Public License Version 2 as
   6 # published by the Free Software Foundation.
   7 #
   8 # This program is distributed in the hope that it will be useful,
   9 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  10 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  11 # GNU General Public License for more details.
  12 #
  13
  14 # Trursted Execution Environment Configuration
  15 config TEE_SUPPORT
  16         bool "Trusted Execution Environment Support"
  17         default n
  18         ---help---
  19           This implements the Trusted Execution Environment (TEE) Client
  20           API Specification from GlobalPlatform Device Technology.