How does the global printf() know where to send the output?

Hello,
I know about two options…

First:
Pins for default STDIO are defined here and can be overridden in mbed_app.json like this.

Second:

BR, Jan