I have found a variety of timers and wonder which one I should use for my RTOS application. I should run a non-timing-critical task periodically. I found the GPIO timers on the Cortex M3 as well as the SysTick timers. Then there is also a virtual timer…