use {grub,boot}aa64.efi for boot images on AArch64

According to UEFI 2.4 specification, default boot file name on AArch64
is BOOTAA64.EFI (3.4.1.1 Removable Media Boot Behavior). Also set default
GRUB image name to grubaa64.efi to match it.
This commit is contained in:
Andrey Borzenkov 2014-01-07 10:38:54 +04:00
parent 668add258f
commit c9e839e2ca

View file

@ -1091,7 +1091,7 @@ main (int argc, char *argv[])
efi_file = "BOOTARM.EFI"; efi_file = "BOOTARM.EFI";
break; break;
case GRUB_INSTALL_PLATFORM_ARM64_EFI: case GRUB_INSTALL_PLATFORM_ARM64_EFI:
efi_file = "BOOTAARCH64.EFI"; efi_file = "BOOTAA64.EFI";
break; break;
default: default:
grub_util_error ("%s", _("You've found a bug")); grub_util_error ("%s", _("You've found a bug"));
@ -1118,7 +1118,7 @@ main (int argc, char *argv[])
efi_file = "grubarm.efi"; efi_file = "grubarm.efi";
break; break;
case GRUB_INSTALL_PLATFORM_ARM64_EFI: case GRUB_INSTALL_PLATFORM_ARM64_EFI:
efi_file = "grubarm64.efi"; efi_file = "grubaa64.efi";
break; break;
default: default:
efi_file = "grub.efi"; efi_file = "grub.efi";