Gentoo Packages

Category: dev-embedded

• pico-sdk - Ebuilds: 10, Testing: 2.2.0
  Description: The Raspberry Pi Pico SDK (henceforth the 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.
  Homepage: https://github.com/raspberrypi/pico-sdk
  License: BSD
• picotool - Ebuilds: 1, Testing: 2.1.1
  Description: tool for interacting with rp2040 devices and binaries
  Homepage: https://github.com/raspberrypi/picotool
  License: BSD MIT