- UEFI Specifications and Tools [uefi.org]
- * UEFI Specification
- * UEFI Self Certification Test (SCT)
- * UEFI Shell Specification
- * UEFI Platform Initialization (PI) Specification
- * UEFI Platform Initialization Distribution Packaging Specification
- * EFI System Partition Subdirectory Registry
- * Trusted Computing Group (TCG) EFI Platform & Protocol Specification
- Compiling a UEFI Driver Using the Intel® UEFI Development Kit 2010
- Driver Writer's Guide for UEFI 2.3.1 [tianocore.org]
- Signing UEFI Applications and Drivers for UEFI Secure Boot [tianocore.org]
- UEFI Driver Developer Resources [tianocore.org]
- UEFI Driver Development Guide for All Hardware Device Classes
- UEFI Driver Development Guide for Graphics Controller Device Classes
- UEFI Driver Development Guide for Network Boot Devices
- UEFI Driver Development Guide for USB Devices
- UEFI Driver Development Guide for USB Host Controllers
- EDK II Application Development Kit (EADK) [tianocore.org]
- EFI Development Kit (EDK II) [tianocore.org]
- TianoCore Project Home Page [tianocore.org]
- UDK2010.SR1 Driver Developer Release [tianocore.org]
- UEFI Development Kit 2010 (UDK2010) [tianocore.org]
- UEFI Driver Wizard [tianocore.org]
- UEFI Shell 2.0 [tianocore.org]
Testing Mainstream Linux Distributions with Client & Workstation Platforms
- ELILO: EFI Linux Boot Loader [sourceforge.net]
- GRUB2 [archlinux.org]
- UEFI Booting [ubuntu.com]
- UEFI SLES/SLED 11 Partitioning [novell.com]
- UEFI and Windows* [microsoft.com]
- Windows* and GPT FAQ [microsoft.com]
*Other names and brands may be claimed as the property of others.
