SDK for developing EFI applications for ARM-64, ARM-32, x86_64,
IA-64 (IPF), and IA-32 (x86) platforms using the GNU toolchain
and the EFI development environment.

WWW: http://gnu-efi.sourceforge.net/