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

Files

file  cortex_a57.h [code]