Hello,
I am trying to do something rather similar to what is described here, but so far without success:
Enable GPIO pin interrupt S32K144 MCU
Example: S32K148 GPIO Interrupt
Multiple GPIO interrupts
First, I setup the pins PTD24 and PTD27 as inputs:

Next, I configure them to interrupt on falling edge:

In the PEX settings I do not clear the flag, with the intention of doing so manually in the ISR handler. (side question - I'm a bit confused about this - if you had PEX clear the flag, would that happen immediately after the ISR?)
Next, I create the ISR. Because there are multiple interrupts, I check the intflags using the SDK calls. Presently both interrupts take the same action.

Next, I install the handler, after PINS_DRV_Init().
I've tried it two ways:

and also this, with & in front of handler name:

because some examples I've seen use the & notation. (side note: I've even tried with the 2nd argument cast to isr_t since that what INT_SYS_InstallHandler expects.)
Neither approach works unfortunately.
I'm able to confirm a falling edge on the GPIO pin in question, however the code never triggers the interrupt or calls the handler.
Additional note - despite the RTOS-like handler naming, I'm not doing anything with RTOS apart from what comes automatically with the PEX/SDK template.
I wonder if there is something else I am missing. Examples seem pretty straightforward.
Thanks