Pinned repositories

  • Batchfile 5 7 Updated Mar 25, 2017
  • EDK II

    python c firmware uefi

    C 424 336 Updated Mar 25, 2017
  • Tianocore website

    CSS 135 65 Updated Mar 23, 2017
  • EDK II sample platform branches and tags

    2 8 Updated Mar 22, 2017
  • EDK II new feature staging

    4 6 Updated Feb 1, 2017
  • Python Updated Oct 29, 2016
  • EDK II FatPkg

    C 3 5 Updated Mar 30, 2016
  • C Updated Mar 14, 2016
  • Older, deprecated EFI Shell

    C 2 3 Updated Mar 9, 2016
  • Archive of old branches for EDK II

    C 1 Updated Feb 3, 2016
  • UEFI Development Kit

    C 5 5 Updated Jan 12, 2016
  • EDK II non-OSI licensed content

    Updated Dec 15, 2015
  • Git mirror of EDK

    C 1 1 Updated Sep 10, 2015
  • DEPRECATED. Use BaseTools under EDK II instead.

    Python 12 7 Updated Jul 22, 2014