1.3.4 EDK II and UDK2010 Development Kit
UDK2010 Developer's Kit, http://www.tianocore.org (known hereafter as UDK2010).
UEFI Shell, EFI Shell, and EFI Shell Users Guide, Intel Corporation, http://www.tianocore.org
EDK II User's Manual. http://www.tianocore.org
EDK II C Coding Standards Specification. http://www.tianocore.org
EDK II Build Specification. http://www.tianocore.org
EDK II Module Information File (INF) Specification. http://www.tianocore.org
EDK II Package Declaration File (DEC) Specification. http://www.tianocore.org
EDK II Platform Description File (DSC) Specification. http://www.tianocore.org
EDK II Flash Description File (FDF) Specification. http://www.tianocore.org
EDK II MdePkg Document. http://www.tianocore.org
Visual Forms Representation Programming Language document, Intel Corporation, http://www.tianocore.org.