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

   1 #include "mbed.h"
   2
   3 Serial pc(USBTX, USBRX);
   4
   5 extern "C" void mbed_reset();
   6
   7 int main() {
   8     pc.printf("start\n");
   9     wait(1);
  10
  11     unsigned int counter = 0;
  12     while(1) {
  13         pc.printf("%u\n",counter++);
  14         wait(1);
  15         mbed_reset();
  16     }
  17 }