[arch-general] The differences among bootx64.efi, loader.efi and grubx64.efi.

[Ralph Corderoy]

Hi Hongyi,

> > The UEFI boot paths look weird because FAT32 uses Windows-style
> > backslash path separators.
>
> But I tried both of the following on *nix based distros, and it seems
> both will be correct:
>
>     -l \\EFI\\boot\bootx64.efi
>
> or
>
>     -l /EFI/boot/bootx64.efi

Use the source that's processing the -l option;
it's perhaps converting / into \ for the user's convenience.

-- 
Cheers, Ralph.