Appendix C: Manual toolchain setup
Configure your environment via Script
If you are developing for a Pico-series device on the Raspberry Pi 5, the Raspberry Pi 4B, or the Raspberry Pi 400, most
of the installation steps in this Getting Started guide can be skipped by running the pico_setup.sh script.
The script automates the following setup:
•
Creates a directory called pico in the folder where you run the pico_setup.sh script
•
Installs required dependencies
•
Downloads the pico-sdk, pico-examples, pico-extras, and pico-playground repositories
•
Defines PICO_SDK_PATH, PICO_EXAMPLES_PATH, PICO_EXTRAS_PATH, and PICO_PLAYGROUND_PATH in your ~/.bashrc
•
Builds the blink and hello_world examples in pico-examples/build/blink and pico-examples/build/hello_world
•
Downloads and builds picotool (see Appendix B), and copy it to /usr/local/bin.
•
Downloads and builds debugprobe (see Appendix A).
•
Downloads and compiles OpenOCD (for debug support)
•
Configures your development Raspberry Pi UART for use with Pico-series devices
TIP
This setup script requires approximately 2.5GB of disk space on your SD card, so make sure you have enough free
space before running it. You can check how much free disk space you have with the df -h command.
First, run the following command to install wget:
$ sudo apt install wget
You can get this script by running the following command in a terminal:
$ wget https://raw.githubusercontent.com/raspberrypi/pico-setup/master/pico_setup.sh ①
Then mark the script as executable with chmod:
$ chmod +x pico_setup.sh
Run the script with the following command:
$ ./pico_setup.sh
Finally, reboot your Raspberry Pi to load your UART configuration changes:
Getting started with Raspberry Pi Pico-series
Configure your environment via Script 32
To Next Page
Loading...