Installing the Raspberry Pi Pico SDK

Instructions taken from https://learn.arm.com/learning-paths/embedded-and-microcontrollers/rpi_pico/sdk/

Setting up sd card for pico sdk

wget https://raw.githubusercontent.com/raspberrypi/pico-setup/master/pico_setup.sh
bash ./pico_setup.sh
rm pico_setup.sh
sudo reboot

Testing Environment

Type

env | grep PICO

Assuming pi is your username, it should output this:-

PICO_EXTRAS_PATH=/home/pi/pico/pico-extras
PICO_SDK_PATH=/home/pi/pico/pico-sdk
PICO_PLAYGROUND_PATH=/home/pi/pico/pico-playground
PICO_EXAMPLES_PATH=/home/pi/pico/pico-examples

To test that all the tools have been installed, run the following programmes:-

arm-none-eabi-gcc --version
gdb-multiarch --version
cmake --version
openocd --version