Trying to understand the timers of the NXP processor i.MX RT1060 used in the Teensy4.1 , their interrupts, and how the Arduino IDE uses /allocates them. in particular, the intervaltimer appears to...