| Thomas Gleixner | ec8f24b | 2019-05-19 13:07:45 +0100 | [diff] [blame] | 1 | # SPDX-License-Identifier: GPL-2.0-only |
| Jens Wiklander | 967c9cc | 2015-03-11 14:39:39 +0100 | [diff] [blame] | 2 | # Generic Trusted Execution Environment Configuration |
| 3 | config TEE |
| 4 | tristate "Trusted Execution Environment support" |
| Arnd Bergmann | e841888 | 2017-05-10 21:05:16 +0200 | [diff] [blame] | 5 | depends on HAVE_ARM_SMCCC || COMPILE_TEST |
| Jens Wiklander | 967c9cc | 2015-03-11 14:39:39 +0100 | [diff] [blame] | 6 | select DMA_SHARED_BUFFER |
| 7 | select GENERIC_ALLOCATOR |
| 8 | help |
| 9 | This implements a generic interface towards a Trusted Execution |
| 10 | Environment (TEE). |
| Jens Wiklander | 4fb0a5e | 2015-04-14 14:33:20 +0200 | [diff] [blame] | 11 | |
| 12 | if TEE |
| 13 | |
| 14 | menu "TEE drivers" |
| 15 | |
| 16 | source "drivers/tee/optee/Kconfig" |
| 17 | |
| 18 | endmenu |
| 19 | |
| 20 | endif |