Shall S32k144 processor push information onto the current sack during Systick handler?
Other EV boards such as STM32 and TIva boards automatically save R0-R3,R12,LR,PC,PSR... as in the following figure.

In case S32k144 is not designed to do stacking automatically, how can I add assembler POP and PUSH code in a C source file by using S32DS? How can I save LR and PC values (is Lr equal to R14 and PC = R15)?
I'm asking this because I cannot see during debugging that the Registers are being stored in RAM automatically when the debugger hits a Break Point in Systick.

Thanks a lot.