tmk_keyboard/tool/mbed/mbed-sdk/libraries/tests/mbed/reset/main.cpp

#include "mbed.h"

Serial pc(USBTX, USBRX);

extern "C" void mbed_reset();

int main() {
    pc.printf("start\n");
    wait(1);

    unsigned int counter = 0;
    while(1) {
        pc.printf("%u\n",counter++);
        wait(1);
        mbed_reset();
    }
}