Barrelfish
Functions
arm_hal.h File Reference

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)
 

Detailed Description

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.

Function Documentation

bool hal_cpu_is_bsp ( void  )
Returns
true if current processor is bootstrap processor.
uint32_t hal_get_board_id ( void  )
Returns
Unique 32-bit identifier associated with current board.
uint8_t hal_get_cpu_id ( void  )
Returns
Current processor ordinal. Value has range 0 to n_cpus - 1.