Hi,
On 07/03/2019 21:04, Volodymyr Babchuk wrote:
static int make_memory_nodes(libxl__gc *gc, void *fdt, const struct xc_dom_image *dom) { @@ -933,6 +959,9 @@ next_resize: if (info->arch_arm.vuart == LIBXL_VUART_TYPE_SBSA_UART) FDT( make_vpl011_uart_node(gc, fdt, ainfo, dom) );
if (info->arch_arm.tee == LIBXL_TEE_TYPE_NATIVE)
Pending the discussion on the name:
Reviewed-by: Julien Grall julien.grall@arm.com
FDT( make_optee_node(gc, fdt) );
if (pfdt) FDT( copy_partial_fdt(gc, fdt, pfdt) );
Cheers,