Similar repositories to illumos/uefi-edk2: