I really need the 16-bit Timer1 module AVR port of FreeRTOS happens to use for its unique 2-channel PWM generation feature.
I found the initialization/ISR code in the port. But before actually hacking it to use other timer, e.g. Timer 0, it would be interesting to know what are the possible caveats in switching to another timer.
I understand that 16-bit timer was chosen for high resolution - I can sacrifice scheduling precision. Is there anything else about Timer1 module that FreeRTOS really needs?