can you provide the Operation manual for s32 design studio which use command line tools to download debug file?
there is thread related to S32K144 and flash from command line. The principle is very same, just select your MCU in -device argument.
s32k144 command line flash
The pgdbserver console for Power PC is located in
Supported device list you can get by
Hope it helps.
Retrieving data ...