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.