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

Files

file  skxsp_tp_iio.h [code]
 
file  tp_pch_gpio.h [code]