Barrelfish
|
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... | |
ARM architecture initialization.
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?