xref: /linux/drivers/tee/Kconfig (revision f86fd32d)
1# SPDX-License-Identifier: GPL-2.0-only
2# Generic Trusted Execution Environment Configuration
3config TEE
4	tristate "Trusted Execution Environment support"
5	depends on HAVE_ARM_SMCCC || COMPILE_TEST || CPU_SUP_AMD
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
12if TEE
13
14menu "TEE drivers"
15
16source "drivers/tee/optee/Kconfig"
17source "drivers/tee/amdtee/Kconfig"
18endmenu
19
20endif
21