On Thu, 2015-03-05 at 12:13 +0000, Wei Liu wrote: > Yes, mini-os now is just like any other Xen guests, which carries a copy > of all Xen public headers. Taking a new copy is OK.
Ah, I forgot you'd already done this. Super! _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel