“See Getting Started with the Raspberry Pi Pico and the README in the pico-sdk for information on getting up and running.
Quick Pico Setup
If you are developing for Raspberry Pi Pico on 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 setup script. You can get this script by doing the following:
git clone https://github.com/raspberrypi/pico-setup.git
The script will:
Create a directory called pico
Install required dependencies
Download the pico-sdk, pico-examples, pico-extras, and pico-playground repositories
Define PICO_SDK_PATH, PICO_EXAMPLES_PATH, PICO_EXTRAS_PATH, and PICO_PLAYGROUND_PATH in your ~/.bashrc
Build the blink and hello_world examples in pico-examples/build/blink and pico-examples/build/hello_world
Download and build picotool (see Appendix B). Copy it to /usr/local/bin. • Download and build picoprobe (see Appendix A).
Download and compile OpenOCD (for debug support)
Download and install Visual Studio Code
Install the required Visual Studio Code extensions (see Chapter 6 for more details)
Configure the Raspberry Pi UART for use with Raspberry Pi Pico
Once it has run, you will need to reboot your Raspberry Pi,”