as a workaround you can configure UART and send sprintf() output to serial terminal.
Hi,
unfortunately I'm not familiar with GHS Multi IDE. Please ping GHS support if they have STD C library with semihosting output (similar like newlib with I/O support).
You are using the S32K312EVB-Q172 and you are using the GCC uses RTT for output.