Hi,
S19 is just a binary data (with addresses) - it is text format with hex numbers inside.
AXF is binary and includes the code and all symbols.
Most programmers take binary and hex files, so it is enough for flashing, but not full-blown debugging.
We do offer production-level (batch-mode) flashing of Kinetis parts (including OTP and locking options).
BTW (this is an answer to your other post) - our JTAGjet emulator can be used to debug production level boards.
We also support ETM trace for Kinetis parts.
Please take a look into www.signum.com/freescale.htm
Regards,
Robert