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 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" 17 18endmenu 19 20endif 21