From the HOWTO: Note that while Xen 4.13 is current, the kernel support is still called XEN3, because the hypercall interface has not changed significantly.
Attachment: signature.asc Description: PGP signature