Files
raspberry-pi-pico-docker-sdk/install_gcc.sh