gitdir: ../../.git/modules/lib/pico-sdk
