Hi Tomas,
Please refer to this post:
How to use printf() to print string to Console and UART in KDS2.0
Besides, you also can refer to the KSDK1.3.0, folder:C:\Freescale\KSDK_1.3.0\examples\twrk60d100m
These code are also using the printf from stdio.h
If you still have question, please contact me!
Have a great day,
Jingjing
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------