Re: [PATCH v2 01/18] xen: add some xen headers

[Juergen Gross]

On 18/10/2018 15:45, Daniel Kiper wrote:
> On Tue, Oct 09, 2018 at 01:03:00PM +0200, Juergen Gross wrote:
>> In order to support grub2 in Xen PVH environment some additional Xen
>> headers are needed as grub2 will be started in PVH mode requiring to
>> use several HVM hypercalls and structures.
>>
>> Add the needed headers from Xen 4.10 being the first Xen version with
>> full (not only experimental) PVH guest support.
> 
> Should not we use the latest one? 4.11?

Hmm, that shouldn't really matter here. All used interfaces are
stable, so in case we don't need any later add-ons (which we don't)
using the 4.10 ones must be fine.


Juergen