summaryrefslogtreecommitdiff
path: root/common/spl/Kconfig
diff options
context:
space:
mode:
Diffstat (limited to 'common/spl/Kconfig')
-rw-r--r--common/spl/Kconfig7
1 files changed, 7 insertions, 0 deletions
diff --git a/common/spl/Kconfig b/common/spl/Kconfig
index 18dbc238bf..d0564621d4 100644
--- a/common/spl/Kconfig
+++ b/common/spl/Kconfig
@@ -832,6 +832,13 @@ config SPL_AM33XX_ENABLE_RTC32K_OSC
Enable access to the AM33xx RTC and select the external 32kHz clock
source.
+config SPL_OPTEE
+ bool "Support OP-TEE Trusted OS"
+ depends on ARM
+ help
+ OP-TEE is an open source Trusted OS which is loaded by SPL.
+ More detail at: https://github.com/OP-TEE/optee_os
+
config TPL
bool
depends on SUPPORT_TPL