Barrelfish
Functions
init.h File Reference

ARM architecture initialization. More...

Functions

void arch_init (struct arm_core_data *boot_core_data, struct armv7_boot_record *bootrec)
 Continue kernel initialization in kernel address space. More...
 
bool cpu_is_bsp (void)
 Is this the BSP? More...
 

Detailed Description

ARM architecture initialization.

Function Documentation

void arch_init ( struct arm_core_data boot_core_data,
struct armv7_boot_record *  bootrec 
)

Continue kernel initialization in kernel address space.

This function sets up exception handling, initializes devices and enables interrupts. After that it calls arm_kernel_startup(), which should not return (if it does, this function halts the kernel).

bool cpu_is_bsp ( void  )

Is this the BSP?

Returns
True iff the current core is the bootstrap processor.