There's a merged pull request on the void-packages repository grub: add -xen subpackage for Xen PV guest domain boot https://github.com/void-linux/void-packages/pull/19346 Description: Also add patch (from Debian) for installation of standard Xen PV 2nd stage bootloader binary.