Re: [Xen-devel] [PATCH v2 02/13] domctl: add tee_op domctl

2018-09-03 Thread Julien Grall
Hi, On 03/09/18 17:54, Volodymyr Babchuk wrote: Currently this call used only to enable TEE support for a domain. It is planed to extend it when there will be multiple TEE mediators, so toolstack can determine which TEE is available on a platform. Signed-off-by: Volodymyr Babchuk --- xen/ar

[Xen-devel] [PATCH v2 02/13] domctl: add tee_op domctl

2018-09-03 Thread Volodymyr Babchuk
Currently this call used only to enable TEE support for a domain. It is planed to extend it when there will be multiple TEE mediators, so toolstack can determine which TEE is available on a platform. Signed-off-by: Volodymyr Babchuk --- xen/arch/arm/domctl.c | 10 ++ xen/include/p