Re: [Xen-devel] [PATCH v3 02/11] arm: add tee_enabled flag to xen_arch_domainconfig

2019-01-16 Thread Julien Grall
On 16/01/2019 17:22, Volodymyr Babchuk wrote: Hello Julien, Julien Grall writes: Hi, On 12/18/18 9:11 PM, Volodymyr Babchuk wrote: From: Volodymyr Babchuk This flag enables TEE support for a domain. Signed-off-by: Volodymyr Babchuk --- xen/arch/arm/domain.c | 4

Re: [Xen-devel] [PATCH v3 02/11] arm: add tee_enabled flag to xen_arch_domainconfig

2019-01-16 Thread Volodymyr Babchuk
Hello Julien, Julien Grall writes: > Hi, > > On 12/18/18 9:11 PM, Volodymyr Babchuk wrote: >> From: Volodymyr Babchuk >> >> This flag enables TEE support for a domain. >> >> Signed-off-by: Volodymyr Babchuk >> --- >> xen/arch/arm/domain.c | 4 >> xen/arch/arm/domctl.c

Re: [Xen-devel] [PATCH v3 02/11] arm: add tee_enabled flag to xen_arch_domainconfig

2019-01-15 Thread Julien Grall
Hi, On 12/18/18 9:11 PM, Volodymyr Babchuk wrote: From: Volodymyr Babchuk This flag enables TEE support for a domain. Signed-off-by: Volodymyr Babchuk --- xen/arch/arm/domain.c | 4 xen/arch/arm/domctl.c | 1 + xen/include/public/arch-arm.h | 3 +++ 3 files

[Xen-devel] [PATCH v3 02/11] arm: add tee_enabled flag to xen_arch_domainconfig

2018-12-18 Thread Volodymyr Babchuk
From: Volodymyr Babchuk This flag enables TEE support for a domain. Signed-off-by: Volodymyr Babchuk --- xen/arch/arm/domain.c | 4 xen/arch/arm/domctl.c | 1 + xen/include/public/arch-arm.h | 3 +++ 3 files changed, 8 insertions(+) diff --git a/xen/arch/arm/domain.c