[submodule "tools/pico"] path = tools/pico url = git@gitlab.com:series-han/development/pico.git