As a related question. I wanted to temporarily disable the timer interrupt. So I added the following to IntervalTimer.h:


void disableIrq() {
#if defined(KINETISK)
if (PIT_enabled)...