Up to release 1.12.0, the RP2040 board package was based on the excellent work by Earle F. Philhower built on top of the official Raspberry Pi SDK.
Does the new version 2.7.2 rely on the arduino-pico board package?
As I wrote on my website,
However, I’ve faced two issues with release 2.1.0:
- Large projects fail to upload and/or run, while they succeed with the arduino-pico board package. The issue was reported at RPI Pico: LED blinks 4 long, 4 short, then again #3#6.
- The Segger J-Link programmer-debugger experiences issues with the underlying mbedOS when debugging against the Pico.
So the 2.7.2 version would be a very severe regression over the 1.12.0 version.