• EDK
• EFI Shell Project
• Other Projects
• Older, unmaintained projects