[submodule "pico-sdk"] path = pico-sdk url = git@github.com:raspberrypi/pico-sdk.git