# https://electrocredible.com/raspberry-pi-pico-serial-uart-micropython/
# UART0   TX0  GP0  GP12  GP16
# UART0   RX0  GP1  GP13  GP17
# UART1   TX1  GP4  GP8
# UART1   RX1  GP5  GP9

import time
time.sleep(0.1) # Wait for USB to become ready

print("Hello, Pi Pico!")