bspsmp_init.c File Reference

Raspberry pi secondary CPU and IPI HW initialization. More...

#include <rtems/score/smpimpl.h>
#include <bsp/start.h>
#include <bsp/raspberrypi.h>
#include <bsp.h>
#include <bsp/arm-cp15-start.h>
#include <libcpu/arm-cp15.h>
#include <rtems.h>
#include <bsp/irq-generic.h>
#include <assert.h>

Functions
void	rpi_ipi_initialize (void)
void	rpi_start_rtems_on_secondary_processor (void)

Detailed Description

Raspberry pi secondary CPU and IPI HW initialization.