8 unsigned int seconds, oldseconds=ClockTicks()/1000;
10 printf ("Example using the core timer to generate seconds.\n");
15 if (oldseconds!=seconds) {
17 printf ("%02d:%02d.%02d %ld\n",
18 (int)seconds/3600, (int)(seconds/60)%60,
23 printf("%ld\n\r", ClockTicks());