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/