Barrelfish
Functions
boot_driver.c File Reference

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...
 

Detailed Description

CPU driver boot code for ARMv7A cores.

Function Documentation

void boot_bsp_core ( void *  pointer,
void *  cpu_driver_entry,
void *  cpu_driver_base 
)

Entry point called from boot.S for the BSP kernel.

Parameters
pointeraddress of multiboot_info on the BSP;