coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
efi Directory Reference

Files

file  efi_datatype.h [code]