Hi,
I suppose that you use S9KEA128 instead of S32Kea128.
For the S9KEA128, the PTB4 is the NMI pin. while You have to set the
SIM_SOPT0[NMIE] bit.
BTW, there is api function in start_xxx.c in project created by MCUXPresso tools, which declares the NMI_Handle(void)
You have to fill the function in the NMI_Handle()
void NMI_Handler(void)
{
//toggle LED
__asm("nop");
}
Hope it can help you
BR
XiangJun Rong

