Raspberry Pi Pico Series - Chapter 5. Say Hello World in C; Serial Input and Output on Pico-Series Devices

Chapter 5. Say "Hello World" in C
After blinking an LED on and off, the next thing that most developers will want to do is create and use a serial port, and
say "Hello World."
Pico Examples: https://github.com/raspberrypi/pico-examples/blob/master/hello_world/serial/hello_serial.c Lines 10 - 16
10 int main() {
11 stdio_init_all();
12 while (true) {
13 printf("Hello, world!\n");
14 sleep_ms(1000);
15 }
16 }
5.1. Serial input and output on Pico-series devices
Serial input (stdin) and output (stdout) can be directed to serial UART and/or to USB CDC (USB serial).
Default UART0 Physical Pin GPIO Pin
GND
3 N/A
UART0_TX
1
GP0
UART0_RX
2
GP1
Getting started with Raspberry Pi Pico-series
5.1. Serial input and output on Pico-series devices 13