Barrelfish
armv7 Directory Reference

Files

file  a15_gt.h
 ARM Cortex A15 Generic Timer driver.
 
file  a9_gt.h
 ARM Cortex A9 Global Timer driver.
 
file  a9_scu.h
 interface for Cortex A9 Snoop Control Unit
 
file  arch_gdb_stub.h
 Header for ARMv5-specific GDB stub code.
 
file  global.h
 A struct for all shared data between the kernels.
 
file  init.h
 ARM architecture initialization.
 
file  offsets.h
 ARMv7-A address space sizes and offsets.
 
file  omap44xx_spinlock.h
 kernel driver for the spinlock module, used for serial output see OMAP4460 TRM chapter 21 for a functional description
 
file  paging_kernel_arch.h
 ARM kernel page-table structures.
 
file  platform.h
 Platform interface for ARMv7-A boards.
 
file  psci.h
 
file  startup_arch.h
 Startup prototypes.