Following a guide to view run-time statistics. The guide says to set up a hardware timer, "The timer used for collecting these statistics must use a higher resolution time base than the tick interrupt that is driving the scheduler, otherwise the stat...