|
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?
1.8.11