Marcus Hoffmann
5511e26b4f
Add the pi-pico sdk as a dependency for picotool. This is a bit of a weird package, because you normally clone the git repository and point the picotool (or rp2040 firmware project) build to it. For picotool specifically, only headers are used from the sdk, for building a firmware project, it is included as source files via cmake, so this pretty much has the same semantics for that as well. Signed-off-by: Marcus Hoffmann <buildroot@bubu1.eu> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
10 lines
298 B
Plaintext
10 lines
298 B
Plaintext
config BR2_PACKAGE_PICO_SDK
|
|
bool "pico-sdk"
|
|
help
|
|
Raspberry Pi Pico SDK. Provides the headers, libraries
|
|
and build system necessary to write programs for the
|
|
RP2040-based devices such as the Raspberry Pi Pico in
|
|
C, C++ or assembly language.
|
|
|
|
https://github.com/raspberrypi/pico-sdk
|