See pico_setup.sh.
Use the flake to download the required packages.
nix develop
# TEMP:
PICO_SDK_PATH=../submodules/pico-sdk/ ./compile.shUse ./compile.sh to compile Use ./compile.sh u to compile and upload
Make sure to git submodule update --init --recursive to ensure the pico-sdk is installed correctly