011fe81
From 7e782c6996ee433c94fb378cbc8db0fa0f663c84 Mon Sep 17 00:00:00 2001
78a3d7d
From: Andrey Borzenkov <arvidjaar@gmail.com>
78a3d7d
Date: Tue, 7 Jan 2014 10:38:54 +0400
4dcaf21
Subject: [PATCH 011/143] use {grub,boot}aa64.efi for boot images on AArch64
78a3d7d
78a3d7d
According to UEFI 2.4 specification, default boot file name on AArch64
78a3d7d
is BOOTAA64.EFI (3.4.1.1 Removable Media Boot Behavior). Also set default
78a3d7d
GRUB image name to grubaa64.efi to match it.
78a3d7d
---
78a3d7d
 util/grub-install.c | 4 ++--
78a3d7d
 1 file changed, 2 insertions(+), 2 deletions(-)
78a3d7d
78a3d7d
diff --git a/util/grub-install.c b/util/grub-install.c
78a3d7d
index 8cfe0ea..4608b80 100644
78a3d7d
--- a/util/grub-install.c
78a3d7d
+++ b/util/grub-install.c
78a3d7d
@@ -1091,7 +1091,7 @@ main (int argc, char *argv[])
78a3d7d
 	      efi_file = "BOOTARM.EFI";
78a3d7d
 	      break;
78a3d7d
 	    case GRUB_INSTALL_PLATFORM_ARM64_EFI:
78a3d7d
-	      efi_file = "BOOTAARCH64.EFI";
78a3d7d
+	      efi_file = "BOOTAA64.EFI";
78a3d7d
 	      break;
78a3d7d
 	    default:
78a3d7d
 	      grub_util_error ("%s", _("You've found a bug"));
78a3d7d
@@ -1118,7 +1118,7 @@ main (int argc, char *argv[])
78a3d7d
 	      efi_file = "grubarm.efi";
78a3d7d
 	      break;
78a3d7d
 	    case GRUB_INSTALL_PLATFORM_ARM64_EFI:
78a3d7d
-	      efi_file = "grubarm64.efi";
78a3d7d
+	      efi_file = "grubaa64.efi";
78a3d7d
 	      break;
78a3d7d
 	    default:
78a3d7d
 	      efi_file = "grub.efi";
78a3d7d
-- 
37b39b7
1.9.3
78a3d7d