Index: grub-2.02~beta3/util/grub.d/10_linux.in =================================================================== --- grub-2.02~beta3.orig/util/grub.d/10_linux.in +++ grub-2.02~beta3/util/grub.d/10_linux.in @@ -193,6 +193,7 @@ machine=`uname -m` case "x$machine" in xi?86 | xx86_64) klist="/boot/vmlinuz-* /vmlinuz-* /boot/kernel-*" ;; xaarch64) klist="/boot/Image-* /Image-* /boot/kernel-*" ;; + xarm*) klist="/boot/zImage-* /zImage-* /boot/kernel-*" ;; xs390 | xs390x) klist="/boot/image-* /boot/kernel-*" ;; *) klist="/boot/vmlinuz-* /boot/vmlinux-* /vmlinuz-* /vmlinux-* \ /boot/kernel-*" ;;