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

Files

file  irq_helper.h [code]