/  <  Computer  <  Platform  <  PC, IBM compatible  <  BIOS  <  EFI, Extensible Firmware Interface  <  Specifications  <  EDK, development kit  <  EFI Developer Kit (EDK) Getting Started Guide (2005-01-14) v0.41.pdfDownload