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

[Julien Grall <julien.grall@xxxxxxx>]

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,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel