Barrelfish
Functions
init.h File Reference

ARM architecture initialization. More...

Functions

void arch_init (uint32_t magic, void *pointer, uintptr_t stack)
 
bool cpu_is_bsp (void)
 Is this the BSP? More...
 

Detailed Description

ARM architecture initialization.

Function Documentation

void arch_init ( uint32_t  magic,
void *  pointer,
uintptr_t  stack 
)
Parameters
Entrypoint to architecture specific initialization
magicMagic value to tell the kernel it was started by multiboot
pointerPointer to the multiboot structure
stackPointer to the stack

ASSUMPTIONS:

  • the execution starts in HIGH addresses (e.g. > KERNEL_OFFSET)
  • Pointers to stack and multiboot structures point to HIGH memory
  • ARM exception level is EL1 (privileged)
bool cpu_is_bsp ( void  )

Is this the BSP?

Returns
True iff the current core is the bootstrap processor.