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@xxxxxxxxx> Institute of Semiconductors, Chinese Academy of Sciences GnuPG DSA: 0xD108493
