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

Files

file  cache.c [code]