On 28/05/2020 10:12, Florian Weimer wrote: > This was needed for 32-bit PV Xen, PV guests, on 32bit bit Xen. The latter point is the more important one, because we switched to 64-bit-only Xen itself, in the 4.3 release (July 2013). Xen 4.3 is long out of security support. ~Andrew