Barrelfish
|
Hardware Abstraction Layer interface for ARM boards. More...
Functions | |
uint32_t | hal_get_board_id (void) |
uint8_t | hal_get_cpu_id (void) |
bool | hal_cpu_is_bsp (void) |
Hardware Abstraction Layer interface for ARM boards.
This file defines the hardware abstraction layer for ARM targets. Each board is expected to have an implementation that corresponds to this interface.
This interface is expected to change as new boards are added.
bool hal_cpu_is_bsp | ( | void | ) |
uint32_t hal_get_board_id | ( | void | ) |
uint8_t hal_get_cpu_id | ( | void | ) |