From bd4aeefe33e63f613512604e47bfca7b2187697d Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sun, 3 Nov 2019 16:06:58 +0000 Subject: gentoo resync : 03.11.2019 --- profiles/desc/grub_platforms.desc | 1 + 1 file changed, 1 insertion(+) (limited to 'profiles/desc') diff --git a/profiles/desc/grub_platforms.desc b/profiles/desc/grub_platforms.desc index ef7153c971a4..b5978a32dba1 100644 --- a/profiles/desc/grub_platforms.desc +++ b/profiles/desc/grub_platforms.desc @@ -18,3 +18,4 @@ qemu-mips - QEMU MIPS platform support uboot - U-Boot platform support xen - XEN (pvgrub2) platform support xen-32 - Build 32-bit XEN (pvgrub2) platform support on amd64 +xen-pvh - XEN (pvhgrub2) platform support -- cgit v1.2.3