xref: /linux/drivers/tee/Kconfig (revision 53df2b93441289848f5c2e76d19d1569816b2b9d)
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