setenv PICO_SDK_PATH /usr/share/pico-sdk