| Message ID | 20190619175333.29938-4-volodymyr_babchuk@epam.com (mailing list archive) |
|---|---|
| State | New, archived |
| Headers | show |
| Series | TEE mediator (and OP-TEE) support in XEN | expand |
Hi Volodymyr, On 6/19/19 6:54 PM, Volodymyr Babchuk wrote: > It is nicer, when options for particular TEE mediators (currently, > OP-TEE only) are following generic "Enable TEE mediators support" > option in the menuconfig: > > [*] Enable TEE mediators support > [ ] Enable OP-TEE mediator > > Signed-off-by: Volodymyr Babchuk <volodymyr_babchuk@epam.com> Reviewed-by: Julien Grall <julien.grall@arm.com> Cheers,
diff --git a/xen/arch/arm/Kconfig b/xen/arch/arm/Kconfig index 04d399ffbf..c2db2a6953 100644 --- a/xen/arch/arm/Kconfig +++ b/xen/arch/arm/Kconfig @@ -113,6 +113,8 @@ config TEE This option enables generic TEE mediators support. It allows guests to access real TEE via one of TEE mediators implemented in XEN. +source "arch/arm/tee/Kconfig" + endmenu menu "ARM errata workaround via the alternative framework" @@ -238,5 +240,3 @@ source "arch/arm/platforms/Kconfig" source "common/Kconfig" source "drivers/Kconfig" - -source "arch/arm/tee/Kconfig"
It is nicer, when options for particular TEE mediators (currently, OP-TEE only) are following generic "Enable TEE mediators support" option in the menuconfig: [*] Enable TEE mediators support [ ] Enable OP-TEE mediator Signed-off-by: Volodymyr Babchuk <volodymyr_babchuk@epam.com> --- xen/arch/arm/Kconfig | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-)