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