diff options
Diffstat (limited to 'config/git')
-rw-r--r-- | config/git/pico-sdk | 5 | ||||
-rw-r--r-- | config/git/pico-serprog | 8 |
2 files changed, 6 insertions, 7 deletions
diff --git a/config/git/pico-sdk b/config/git/pico-sdk new file mode 100644 index 00000000..98842e22 --- /dev/null +++ b/config/git/pico-sdk @@ -0,0 +1,5 @@ +{pico-sdk}{ + rev: 6a7db34ff63345a7badec79ebea3aaef1712f374 + loc: pico-sdk + url: https://github.com/raspberrypi/pico-sdk +} diff --git a/config/git/pico-serprog b/config/git/pico-serprog index 18df2a66..60b9938e 100644 --- a/config/git/pico-serprog +++ b/config/git/pico-serprog @@ -3,16 +3,10 @@ loc: pico-serprog url: https://codeberg.org/libreboot/pico-serprog bkup_url: https://notabug.org/libreboot/pico-serprog - depend: rpi-pico-sdk + depend: pico-sdk depend: rpi-pico-tinyusb } -{rpi-pico-sdk}{ - rev: 6a7db34ff63345a7badec79ebea3aaef1712f374 - loc: pico-sdk - url: https://github.com/raspberrypi/pico-sdk -} - {rpi-pico-tinyusb}{ rev: 86c416d4c0fb38432460b3e11b08b9de76941bf5 loc: pico-sdk/lib/tinyusb |