Barrelfish
Functions | Variables
init.c File Reference

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

Detailed Description

CPU driver init code for ARMv7A cores.

Function Documentation

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?

Returns
True iff the current core is the bootstrap processor.

Variable Documentation

uintptr_t kernel_stack[KERNEL_STACK_SIZE/sizeof(uintptr_t)]

The kernel stack.

Declared in boot.S.