Platform.Pico: development platform for PlatformIO and the Raspeberry Pi Pico
Per the Platformio documentation, there are three core functions that a Development platform, or platform, are supposed to perform:
- The PlatformIO Build System Scripts for the supported frameworks and SDKs
- Pre-Configured presets for embedded circuit boards
- Pre-compiled toolchains and related tools for the architecture(s)
The Official Platformio platform for the RP2040 exclusively supports arduino as a framework and does not support the C/C++ SDK provided by Raspeberry Pi or other frameworks that could be ported to the platform without relying on arduino(FreeRTOS, Zephyr, etc).
Furthermore, the lack of native support for using picoprobe as a default debyggung tool causes a lot of friction for development.
Platform.Pico sets out to solve the lack of flexibility provided by the original Platform-RaspberryPi.
RP2040 is a low-cost, high-performance microcontroller device with a large on-chip memory, symmetric dual-core processor complex, deterministic bus fabric, and rich peripheral set augmented with a unique Programmable I/O (PIO) subsystem, it provides professional users with unrivalled power and flexibility.
- Home (home page in the PlatformIO Registry)
- Documentation (advanced usage, packages, boards, frameworks, etc.)
- Install PlatformIO
- Create PlatformIO project and configure a platform option in platformio.ini file:
[env:stable]
platform = raspberrypi
board = ...
...[env:development]
platform = https://github.com/platformio/platform-raspberrypi.git
board = ...
...Please navigate to documentation.