BSP reset. More...
#include <stdbool.h>
#include <bsp/bootcard.h>
#include <mpc55xx/regs.h>
BSP reset.