config/git/pico-sdk/pkg.cfg


1
2
3
4
5

# SPDX-License-Identifier: GPL-3.0-or-later

rev="95ea6acad131124694cda1c162c52cd30e0aece0"
url="https://codeberg.org/libreboot/pico-sdk"
bkup_url="https://github.com/raspberrypi/pico-sdk"