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 be the only timer that one can assign a priority to in the Arduino language. Have no idea which of the many hardware timers it is using. there are 6 general purpose timers GPTx and 4 of QTIMERS. the imxrt.h sheds light on this but would like to avoid that level of code writing. As it may interfere with milli() microseconds() as example if you don't know. Does anyone have information or know where i can find answers to this topic? Thanks.