EDK2

EDK II (often referred to as 'EDK2' or 'edk2') is a modern, feature-rich, cross-platform firmware development environment for the UEFI and UEFI PI specifications.

See EDK II for more information.