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

[Hongyi Zhao]

I noticed that for many distro's install iso, there are some efi files
in the EFI/efi folder as follows:

bootx64.efi, loader.efi and grubx64.efi

Say, for arch:

bootx64.efi, loader.efi

for debian:

bootx64.efi  grubx64.efi

I just cannot figure out the differences among them.  Could you please
give me some hints on this?

Thanks in advance.
-- 
Hongsheng Zhao <hongyi.zhao at gmail.com>
Institute of Semiconductors, Chinese Academy of Sciences
GnuPG DSA: 0xD108493