Hi,
Ok, I see. I understand it that you need to use printf to serial console, sorry.
So - you can use STD C library with debugger I/O support - for example newlib:

and enable Semihosting console in debug configurations:

You should be able see printf output in Debug session semihosting console.
Hope it helps.
Jiri