coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
include Directory Reference
Directory dependency graph for include:
src/arch/arm64/include

Directories

directory  arch
 
directory  armv8
 
directory  cpu
 

Files

file  bl31.h [code]