Pico

The Raspberry Pi Pico is a tiny development board based on the Raspberry Pi RP2040 microcontroller.

Interfaces

Interface Hardware Supported TinyGo Support
GPIO YES YES
UART YES YES
SPI YES YES
I2C YES YES
ADC YES YES
PWM YES YES

Machine Package Docs

Documentation for the machine package for the Pico

Flashing

UF2

The Pico comes with the UF2 bootloader already installed.

CLI Flashing

  • Plug your Pico into your computer’s USB port while holding down the RESET button on the board.

  • One plugged in, release the RESET button.

  • Flash your TinyGo program to the board using this command:

    tinygo flash -target=pico [PATH TO YOUR PROGRAM]
    
  • The Pico board should restart and then begin running your program.

Troubleshooting

Any troubleshooting tips go here.

Notes

You cannot yet use the USB port to the Pico as a serial port. Instead UART0 refers to the TX/RX pins on the board itself.

You can refer to getting started with Raspberry Pi Pico documentation on how to connect two Picos together (see Appendix A: Using Picoprobe) to debug and convert UART0 output on target pico to USB output on picoprobe. You will need the Picoprobe UF2, available on the Pico’s website under “About” tab.