PSCI-based BSP CPU start. More...
#include <bsp/start.h>
#include <bsp.h>
#include <rtems/score/aarch32-system-registers.h>
PSCI-based BSP CPU start.