Michael Kinney edited this page Aug 15, 2018 · 6 revisions


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

Source Repositories

EDK II Main Repository


EDK II Staging Repository (features in development)


Additional Repositories


Getting Started with EDK II

Driver Developer

EDK II Specifications

Code Style

EDK II Overview


email {edk2-devel}

irc {#edk2 on www.oftc.net, setup, web client}

TianoCore uses Bugzilla for Reporting Issues and Reporting Security Issues.

Current list of Tasks identified by the EDK II community.

Stable Releases

Stable releases, based on validation using various platforms, are labeled as "UEFI Development Kit" (UDK). The year tag indicates the year of major specifications used for the release.

UDK2018 | UDK2017 | UDK2015 | UDK2014 | UDK2010

Stable Tags

Stable tags are created on edk2/master based on validation using various platforms. Stable tags names use the format edk2-stable<4 digit year><2 digit month>.


Future Release and Tag Planning


Clone this wiki locally
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.
Press h to open a hovercard with more details.