This lab using Keil MDK is now available: www.keil.com/appnotes/docs/apnt_299.asp
This shows the various debug facilities one can use with the S32K-144.
When I receive a S32K-148 board, I will add ETM Instruction Trace to this lab.
If you want to see what ETM can do: look at the TWR-K64 lab: www.keil.com/appnotes/docs/apnt_288.asp
The ARM/Keil Software Pack is available now: www.keil.com/dd2/pack
This Pack is a regular .zip file with the extension changed to .pack.
It contains header files, examples and much more.