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,