The debugger unexpectedly stops at the following when I change ADC channel from 11U to any other channel (I've tried 5 or 6).
I'm using the adc_hwtrigger_s32k144 example. It was originally working at channel 12 out of the box and I made some changes to the ADC and moved to channel 11 and everything was working great. I was printing the ADC output to the console correctly by changing the print() calls to printf(). When I changed from channel 11 to channel 10, I got the following screen:

Clicking resume doesn't move past it, I'm stuck in this for loop. Never prints ADC to console. I changed printf() back to print() but no luck. Only thing that gets it working again is changing the channel back to 11.
I played with the ADC settings in processor expert but reverted back and no change. Very strange.
UPDATE:
I attempted to start with a fresh version of the example to make sure I didn't cause the problem by messing with ADC parameters and got a similar result.