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.
