While investigating an interrupt priority issue on the S32K1, I discovered none of the RTD examples ever set the interrupt priority.
Shouldn't the interrupt priority be set with the following?
IntCtrl_Ip_Init(&IntCtrlConfig_0);
Also, the S32K1 examples all set the handler by calling IntCtrl_Ip_InstallHandler() directly instead of using the peripheral configuration tool along with
IntCtrl_Ip_ConfigIrqRouting(&intRouteConfig);
Since the example code is supposed to show users how to use the RTDs, shouldn't they be using these two functions?