Re: [Tee-dev] [PATCH v6 03/10] xen/arm: optee: add OP-TEE mediator skeleton

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?

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,