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

Files

file  barrier.h [code]
 
file  cache.h [code]
 
file  cpu.h [code]
 
file  exception.h [code]
 
file  lib_helpers.h [code]
 
file  mmio.h [code]
 
file  mmu.h [code]