Setting it to OSC_CLK interferes the utime module's functionality. This is still an area demanding an understanding.
So there is a 1-1 mapping of hardware timer to Python object.
It supports three hardware timer channels based on the PIT timers of the MIMXRT MCU. The timer id's are 0, 1 and 2. On soft reboot all active timers will be stopped via finalisers.