Restart implementation. More...
#include <rtems.h>
#include <libcpu/arm-cp15.h>
#include <bsp.h>
Restart implementation.