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

[Ralph Corderoy]

Hi again Hongyi,

> https://wiki.mageia.org/en/About_EFI_UEFI#The_ESP has some detail.
> The start of https://jdebp.eu/FGA/efi-boot-process.html may also be useful.

Sorry, one more.  Lots of detail in this one; I couldn't find it just
now.
https://www.happyassassin.net/2014/01/25/uefi-boot-how-does-that-actually-work-then/

-- 
Cheers, Ralph.