I am using a development board that has the K66 processor on it and it is Arduino-compatible; it's called the Teensy 3.6. I am programming it through the Arduino IDE. I am trying to trigger the ADC with a center-alligned PWM with an interrupt following the application notes AN4410 and AN5142. However, the IDE does not recognize NVICIP58, NVICICPR1 and NVICISER1 or any NVIC for that matter.
Does anyone have a solution for this?
Thanks in advance