diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/git/revisions | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/config/git/revisions b/config/git/revisions index ed01d20f..37a9622b 100644 --- a/config/git/revisions +++ b/config/git/revisions @@ -76,6 +76,7 @@ url: https://github.com/LongSoft/UEFITool } + {rpi-pico-sdk}{ rev: 6a7db34ff63345a7badec79ebea3aaef1712f374 loc: util-fw/rp2040/pico-sdk @@ -102,4 +103,11 @@ loc: util-fw/stm32-vserprog url: https://codeberg.org/libreboot/stm32-vserprog bkup_url: https://notabug.org/libreboot/stm32-vserprog + depend: libopencm3 +} + +{libopencm3}{ + rev: 458250dc6147dc807eec9e4d5a6caf38a699ecb1 + loc: util-fw/stm32-vserprog/libopencm3 + url: https://github.com/libopencm3/libopencm3 } |