Barrelfish
|
CPU driver init code for ARMv7A cores. More...
Functions | |
bool | cpu_is_bsp (void) |
Is this the BSP? More... | |
void | arch_init (struct arm_core_data *boot_core_data, struct armv7_boot_record *bootrec) |
Continue kernel initialization in kernel address space. More... | |
Variables | |
uintptr_t | kernel_stack [KERNEL_STACK_SIZE/sizeof(uintptr_t)] |
The kernel stack. More... | |
CPU driver init code for ARMv7A cores.
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?
uintptr_t kernel_stack[KERNEL_STACK_SIZE/sizeof(uintptr_t)] |
The kernel stack.
Declared in boot.S.