Closed
Description
When running the following program on a K64F, the timer value jumps drastically after 35 minutes.
#include "mbed.h"
#include "rtos.h"
Timer tick;
int main()
{
tick.start();
for(;;)
{
printf("%lu\r\n", tick.read_ms());
wait(1);
}
}
Output after 35 minutes:
2144601
2145608
2146615
4292819952
4292820963
4292821973