[tqh]

I wrote this: https://github.com/tqh/efi-example It's using the linker script and headers from GNU-EFI. Also check Zircon bootloader https://github.com/fuchsia-mirror/zircon/tree/master/bootloa... It is Googles UEFI loader that works on x86-64 and arm-64. It's quite new, and has it's own linker script.