mirror of
https://github.com/rhboot/gnu-efi
synced 2026-08-26 00:26:04 -04:00
Always use x64/X64 and aa64/AA64 unless the toolchain cares about "x86_64" or whatnot. Note that we still have mips64el as an arch name, which is not actually defined in the UEFI specs. Signed-off-by: Peter Jones <pjones@redhat.com> |
||
|---|---|---|
| .. | ||
| efi_stub.S | ||
| initplat.c | ||
| math.c | ||
| setjmp.S | ||