Re: [Xen-devel] [PATCH v2 13/13] lixl: arm: create optee firmware node in DT if tee=1

2018-09-11 Thread Julien Grall
Hi, On 03/09/18 17:54, Volodymyr Babchuk wrote: If TEE support is enabled with "tee=1" option in xl.cfg, then we need to inform guest about available TEE. Currently only OP-TEE is supported, so we'll create DT node in a way that is expected by optee driver in linux. Signed-off-by: Volodymyr Ba

[Xen-devel] [PATCH v2 13/13] lixl: arm: create optee firmware node in DT if tee=1

2018-09-03 Thread Volodymyr Babchuk
If TEE support is enabled with "tee=1" option in xl.cfg, then we need to inform guest about available TEE. Currently only OP-TEE is supported, so we'll create DT node in a way that is expected by optee driver in linux. Signed-off-by: Volodymyr Babchuk --- tools/libxl/libxl_arm.c | 29 ++