PIC32-core-timer Using core timers on PIC32 devices details here: https://dannyelectronics.wordpress.com/2020/08/29/pic32-core-timer/