Hi.
Thank you for NXP employee.
I tried 'External interrupt' using s32K144 EVB.
Using example 'hello_world_s32k144', modified button1 ,2 interrupt example.
Please refer below comment in 'main.c' file.
/* Kevin START */
~~
/* Kevin END */

1. changed PIN 12, PIN 13 by input setting like below.

2. changed PTC 12,PTC 13 interrupt option

3. Generate Processor Expert Code

4. Modified 'main.c' file
/* Kevin START */ ~my changed code ~ /* Kevin END */
Thank you a lot.