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

Files

file  atomic.h [code]
 
file  node.h [code]
 
file  spinlock.h [code]