Realistically this isn't going to change until we have either u-boot
or UEFI in an arm32 guest.
Signed-off-by: Ian Campbell <ian.campb...@citrix.com>
---
Osstest/Debian.pm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Osstest/Debian.pm b/Osstest/Debian.pm
index ff7975e..7a0ead4 100644
--- a/Osstest/Debian.pm
+++ b/Osstest/Debian.pm
@@ -915,7 +915,7 @@ END
logm("\$arch is $arch, \$suite is $suite");
if ($xopts{PvMenuLst} && $arch =~ /^arm/ &&
- $suite =~ /wheezy|jessie|sid/ ) {
+ $suite =~ /wheezy|jessie|stretch|sid/ ) {
# Debian doesn't currently know what bootloader to install in
# a Xen guest on ARM. We install pv-grub-menu above which
--
2.1.4
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
