On 29/01/15 11:07, Stefano Stabellini wrote: > On Tue, 13 Jan 2015, Julien Grall wrote: >> The partial device tree may contains phandle. The Device Tree Compiler >> tends to allocate the phandle from 1. >> >> Reserve the ID 65000 for the GIC phandle. I think we can safely assume >> that the partial device tree will never contain a such ID. >> >> Signed-off-by: Julien Grall <julien.gr...@linaro.org> >> Cc: Ian Jackson <ian.jack...@eu.citrix.com> >> Cc: Wei Liu <wei.l...@citrix.com> >> > > Shouldn't we at least check that the partial device tree doesn't contain > a conflicting phandle?
I don't think so. This will unlikely happen, and if it happens the guest will crash with an obvious error. Regards, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
