Hello Boris,
On 06/06/16 17:50, Boris Ostrovsky wrote:
On 06/06/2016 11:37 AM, Boris Ostrovsky wrote:
What I don't want to see is that x86 builds its ACPI table in libxc
while ARM builds its in libxl. That would make future merger harder.
Boris?
TBH, I am not sure which library this should really belong to. I felt
libxc would be more appropriate.
Actually, I now remember why I picked libxc: because I wanted ACPI pages
to be loaded as part of xc_dom_build_image().
What about adding a new field in xc_dom_image? For the device tree,
libxl is provide a buffer which will be loaded as part of
xc_dom_build_image (see devicetree_blob).
Regards,
--
Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
