On 19/06/2019 12:01, Julien Grall wrote:
Hi Volodymyr,
On 11/06/2019 19:46, Volodymyr Babchuk wrote:
diff --git a/xen/arch/arm/tee/Kconfig b/xen/arch/arm/tee/Kconfig
new file mode 100644
index 0000000000..5b829db2e9
--- /dev/null
+++ b/xen/arch/arm/tee/Kconfig
@@ -0,0 +1,4 @@
+config OPTEE
+ bool "Enable OP-TEE mediator"
+ default n
+ depends on TEE
I have played a bit with the menuconfig that "Enable OP-TEE mediator" will
appear at the top-level while "Enable TEE mediators support" is under
"Architecture features".
Arguably, both should be under "Device Drivers". Can you send a follow-up patch
to fix that up?
Another alternative is moving the two in "Architecture features" with "Enable
OP-TEE mediator" under "Enable TEE mediator supports".
While you are doing that, can you add a description in "Enable OP-TEE mediator"
explaining this require a virtualization-aware OP-TEE in order to work.
Cheers,
--
Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel
