config BR2_PACKAGE_EDK2
	bool "edk2"
	help
	  EDK II is a modern, feature-rich, cross-platform firmware
	  development environment for the UEFI and PI specifications.

	  http://www.tianocore.org/edk2/
