Barrelfish
|
CPU driver boot code for ARMv7A cores. More...
Functions | |
void | boot_bsp_core (void *pointer, void *cpu_driver_entry, void *cpu_driver_base) |
Entry point called from boot.S for the BSP kernel. More... | |
CPU driver boot code for ARMv7A cores.
void boot_bsp_core | ( | void * | pointer, |
void * | cpu_driver_entry, | ||
void * | cpu_driver_base | ||
) |
Entry point called from boot.S for the BSP kernel.
pointer | address of multiboot_info on the BSP; |