Package: pico-sdk-source
Source: pico-sdk
Version: 2.2.0-3
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Johannes Schauer Marin Rodrigues <josch@debian.org>
Installed-Size: 48986
Depends: cmake, gcc-arm-none-eabi, picolibc-arm-none-eabi, libstdc++-arm-none-eabi, pioasm, python3, tinyusb-source
Recommends: picotool (>= 2.2)
Section: libdevel
Priority: optional
Multi-Arch: foreign
Homepage: https://github.com/raspberrypi/pico-sdk/issues
Description: headers and libraries to write programs for RP2040-based devices
 The 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.
 .
 The SDK is designed to provide an API and programming environment that is
 familiar both to non-embedded C developers and embedded C developers alike. A
 single program runs on the device at a time and starts with a conventional
 main() method. Standard C/C++ libraries are supported along with C level
 libraries/APIs for accessing all of the RP2040's hardware include PIO.
 .
 Additionally the SDK provides higher level libraries for dealing with timers,
 synchronization, USB (TinyUSB) and multi-core programming along with various
 utilities.
 .
 The SDK can be used to build anything from simple applications, to fully
 fledged runtime environments such as MicroPython, to low level software such
 as RP2040's on-chip bootrom itself.
