mbed profile

test.cpp

void test() {
  int tests = 1000;
  Timer timer;
  timer.reset();
  timer.start();
  int begin = timer.read_us();
  
  wait(1);
  
  int spent = timer.read_us() - begin;

  pc.printf("took %dus\r\n", spent / tests);
}