mirror of https://github.com/OpenIPC/firmware.git
19 lines
616 B
Diff
19 lines
616 B
Diff
diff -drupN a/drivers/tee/optee/Kconfig b/drivers/tee/optee/Kconfig
|
|
--- a/drivers/tee/optee/Kconfig 1970-01-01 03:00:00.000000000 +0300
|
|
+++ b/drivers/tee/optee/Kconfig 2022-06-12 05:28:14.000000000 +0300
|
|
@@ -0,0 +1,14 @@
|
|
+# OP-TEE Trusted Execution Environment Configuration
|
|
+config OPTEE
|
|
+ tristate "OP-TEE"
|
|
+ depends on HAVE_ARM_SMCCC
|
|
+ help
|
|
+ This implements the OP-TEE Trusted Execution Environment (TEE)
|
|
+ driver.
|
|
+
|
|
+config OPTEE_BENCHMARK
|
|
+ bool "OP-TEE Benchmark (EXPERIMENTAL)"
|
|
+ depends on OPTEE
|
|
+ help
|
|
+ This enables benchmarking feature in the OP-TEE Trusted
|
|
+ Execution Environment (TEE) driver.
|