UDK2010.SR1 Release is now available at Download This is the latest UEFI Development Kit 2010 SR1 that supports UEFI 2.3.1 and PI 1.2 Specifications. Added Work Space Expanded version January 4, 2012
