#include <bsp.h>
#include <bsp/bootcard.h>
Default bsp_reset() for LM32 BSPs which can run on the GDB simulator