#include <rtems.h>
#include <bsp/bootcard.h>
This file contains the code necessary to reset the Malta board.