Re: [Xen-devel] [PATCH v3 8/8] xen/arm: Handle translated addresses for hardware domains

[Zoltan Kiss <zoltan.kiss@xxxxxxxxxx>]

Hi,

On 05/11/14 14:18, Julien Grall wrote:
> This check is pointless, as said on an earlier version of this series,
> gicv2_make_dt_node is only used to create DOM0 (hardware domain) device
> tree.
Btw. where is the guest DTB created? Quickly checking the code I 
couldn't find it.
Thanks,

Zoli

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel