ARM64 support for grub-mkrescue.

diff --git a/ChangeLog b/ChangeLog
index 80a65c6573e01da812f677b7ac737e6ee9c42d3b..98d026c56df1796e2fbcb3746f34d81c9a1b7127 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2013-12-23  Vladimir Serbinenko  <phcoder@gmail.com>
+
+       ARM64 support for grub-mkrescue.
+
 2013-12-23  Vladimir Serbinenko  <phcoder@gmail.com>
 
        Install modinfo.sh to keep build information around.

diff --git a/util/grub-mkrescue.c b/util/grub-mkrescue.c
index ad132eff3917e788bb0589426c9424a3fdccff27..317879d0b503a157c3507aa4ebed1cc73704340a 100644 (file)
--- a/util/grub-mkrescue.c
+++ b/util/grub-mkrescue.c
@@ -441,6 +441,9 @@ main (int argc, char *argv[])
       if (source_dirs[GRUB_INSTALL_PLATFORM_I386_PC]
          || source_dirs[GRUB_INSTALL_PLATFORM_POWERPC_IEEE1275]
          || source_dirs[GRUB_INSTALL_PLATFORM_I386_EFI]
+         || source_dirs[GRUB_INSTALL_PLATFORM_IA64_EFI]
+         || source_dirs[GRUB_INSTALL_PLATFORM_ARM_EFI]
+         || source_dirs[GRUB_INSTALL_PLATFORM_ARM64_EFI]
          || source_dirs[GRUB_INSTALL_PLATFORM_X86_64_EFI])
        system_area = SYS_AREA_COMMON;
       else if (source_dirs[GRUB_INSTALL_PLATFORM_SPARC64_IEEE1275])
@@ -636,7 +639,8 @@ main (int argc, char *argv[])
   if (source_dirs[GRUB_INSTALL_PLATFORM_I386_EFI]
       || source_dirs[GRUB_INSTALL_PLATFORM_X86_64_EFI]
       || source_dirs[GRUB_INSTALL_PLATFORM_IA64_EFI]
-      || source_dirs[GRUB_INSTALL_PLATFORM_ARM_EFI])
+      || source_dirs[GRUB_INSTALL_PLATFORM_ARM_EFI]
+      || source_dirs[GRUB_INSTALL_PLATFORM_ARM64_EFI])
     {
       char *efidir = grub_util_make_temporary_dir ();
       char *efidir_efi = grub_util_path_concat (2, efidir, "efi");
@@ -659,6 +663,11 @@ main (int argc, char *argv[])
       make_image_fwdisk_abs (GRUB_INSTALL_PLATFORM_ARM_EFI, "arm-efi", imgname);
       free (imgname);
 
+      imgname = grub_util_path_concat (2, efidir_efi_boot, "bootaarch64.efi");
+      make_image_fwdisk_abs (GRUB_INSTALL_PLATFORM_ARM64_EFI, "arm64-efi",
+                            imgname);
+      free (imgname);
+
       if (source_dirs[GRUB_INSTALL_PLATFORM_I386_EFI])
        {
          imgname = grub_util_path_concat (2, efidir_efi_boot, "boot.efi");