Re: [PATCH] SUPPORT.md: Explicitly desupport pvgrub1; and support grub-pv

[Ian Jackson <iwj@xxxxxxxxxxxxxx>]

Juergen Gross writes ("Re: [PATCH] SUPPORT.md: Explicitly desupport pvgrub1; 
and support grub-pv"):
> Probably, yes. OTOH keeping just old binaries should work without
> any problem. This might be worth considering.

Mmm.

> > +### x86/HVM pvgrub1 (aka stubdom pv-grub)
> 
> s/HVM/PV/

Oops, fixed in my tree.

Ian.