I have MK60DN512VLL10. It runs at full speed 100MHz in PEE mode.
I am using a timer for to reset a GPIO pin. On time counter_restart, I toggle the value of the gpio. But when I probe the gpio I see that it is showing me larger time than what I set in the time. Why is that?