2019-05-19 20:07:45 +08:00
|
|
|
# SPDX-License-Identifier: GPL-2.0-only
|
2015-03-11 21:39:39 +08:00
|
|
|
# Generic Trusted Execution Environment Configuration
|
|
|
|
config TEE
|
|
|
|
tristate "Trusted Execution Environment support"
|
2017-05-11 03:05:16 +08:00
|
|
|
depends on HAVE_ARM_SMCCC || COMPILE_TEST
|
2015-03-11 21:39:39 +08:00
|
|
|
select DMA_SHARED_BUFFER
|
|
|
|
select GENERIC_ALLOCATOR
|
|
|
|
help
|
|
|
|
This implements a generic interface towards a Trusted Execution
|
|
|
|
Environment (TEE).
|
2015-04-14 20:33:20 +08:00
|
|
|
|
|
|
|
if TEE
|
|
|
|
|
|
|
|
menu "TEE drivers"
|
|
|
|
|
|
|
|
source "drivers/tee/optee/Kconfig"
|
|
|
|
|
|
|
|
endmenu
|
|
|
|
|
|
|
|
endif
|