# .gitmodules - Were to get some 3rd-party sources
#
# Copyright (C) 2024  Luke T. Shumaker <lukeshu@lukeshu.com>
# SPDX-License-Identifier: AGPL-3.0-or-later

[submodule "3rd-party/pico-sdk"]
	path = 3rd-party/pico-sdk
	url = https://github.com/raspberrypi/pico-sdk
[submodule "3rd-party/picolibc"]
	path = 3rd-party/picolibc
	url = https://github.com/picolibc/picolibc