export PICO_BOARD=pico2_w export PICO_PLATFORM=rp2350-arm-s export PICO_SDK_PATH=~/devel/clones/pico-sdk/