#include <core/gpio/gpio.h>
void ReinvokeISP(void) {
}
void EnableWatchdog(uint32_t ms) {
void ISPandReset(int delay){
EnableWatchdog(1000*delay);
ReinvokeISP();
};