Re: [PATCH] fix name of default boot image on AArch64

[Leif Lindholm]

On Mon, Jan 06, 2014 at 08:29:31PM +0400, Andrey Borzenkov wrote:
> > >       case GRUB_INSTALL_PLATFORM_ARM64_EFI:
> > > -       efi_file = "BOOTAARCH64.EFI";
> > > +       efi_file = "BOOTAA64.EFI";
> > >         break;
> > >       default:
> > >         grub_util_error ("%s", _("You've found a bug"));
> > > -- 
> > > tg: (668add2..) u/aarch64-default-boot (depends on: master)
> > 
> > Oops - muscle memory override.
> > My only excuse is that current Tianocore Bds for arm* is not conformant
> > to the removable media boot behaviour, so this could not currently be
> > tested. Fixing this is on my to-do list for Q1.
> > Could this be applied please?
> 
> Should not grubarm64 be changed into grubaa64 as well, even to just fit
> into 8+3 name? Having them consistent makes life easier. And now is just
> the right point in time before name is set in stone.

It would be more consistent, and if the intent is to match the
removable media loader filename, the correct thing to do.

/
    Leif