When starting in gitpod, the environment is automatically prepared. All required packages are installed and the raspberry pi pico sdk is cloned from the git master branch.

Install the following packages to cross compile for the RP2040:

sudo apt install cmake build-essential gcc-arm-none-eabi libnewlib-arm-none-eabi libstdc++-arm-none-eabi-newlib

mkdir build
cd build
cmake -DPICO_SDK_FETCH_FROM_GIT=ON ..

If the SDK is located in ~/pico-sdk the script start-env can be used:

. start-env

If the file github-id contains the private key used for your github account the script will start a seperate ssh-agent with only that key.

Otherwise use:

mkdir build
cd build
cmake -DPICO_SDK_PATH=/path/to/pico-sdk ..

make -j$(nproc)

• Press BOOTSEL button on the Pico board and reset the board
• Copy the build/ChristmasClock.uf2 file to the Pico board