Debian: ARM has no bootloader (for Xen) even in Stretch.

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.campbell@citrix.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>

diff --git a/Osstest/Debian.pm b/Osstest/Debian.pm
index 1c071083988db2620045abf199bfd9dbbbb83df7..7fc39d573c0dc1e56b38afef478a9d21107102eb 100644 (file)
--- a/Osstest/Debian.pm
+++ b/Osstest/Debian.pm
@@ -918,7 +918,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