|
| file | arch_gdb_stub.h |
| | Header for ARMv5-specific GDB stub code.
|
| |
| file | arm_hal.h |
| | Hardware Abstraction Layer interface for ARM boards.
|
| |
| file | global.h |
| | A struct for all shared data between the kernels.
|
| |
| file | init.h |
| | ARM architecture initialization.
|
| |
| file | offsets.h |
| | ARMv8 address-space sizes and offsets.
|
| |
| file | paging_kernel_arch.h |
| | ARMv8 kernel page-table structures.
|
| |
| file | platform.h |
| | Platform interface for ARMv7-A boards.
|
| |
| file | psci.h |
| |
| file | start_aps.h |
| | Definitions for the startup of application processors.
|
| |
| file | startup_arch.h |
| | Startup prototypes.
|
| |
| file | timers.h |
| | Platform interface for ARMv7-A boards.
|
| |
