EDK2

EDK II is a modern, feature-rich, cross-platform firmware development environment for the UEFI and PI specifications.