Hello Jace,
If you use the KSDK1.3 +PE, you only need add the component of "fsl_debug_console",
then configure UART0 port and baud rate ,it can use printf*() to UART0 .
About the detail you can refer to this DOC : How to use printf() to print string to Console and UART in KDS2.0
only need refer to the part of this DOC:

Hope it helps
Have a great day,
Alice Yang
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------