config/module/pico-sdk/default/target.cfg


1
2
3
4
5
6
7
8
9
10

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

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

rev="6a7db34ff63345a7badec79ebea3aaef1712f374"

tree="default"

noconfig="y"