Hi Julien,
Julien Grall writes:
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".
I'll do in this way, if there is no objections. As TEE is not a device, strictly speaking, I don't think that "Device Drivers" is a good place for it.