export PICO_SDK_PATH="$HOME/src/pico-sdk"