From 2a8bd3edad7d4735d7d99000c4e40b91150960a1 Mon Sep 17 00:00:00 2001 From: taco Date: Thu, 4 Jun 2026 23:21:41 +1000 Subject: [PATCH] pin platform-raspberrypi to 4e22a0d pins framework-arduinopico @ 1.50600.0+sha.6a1d13e9 --- platformio.ini | 2 +- variants/rpi_picow/platformio.ini | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/platformio.ini b/platformio.ini index e4a7d1c9..e16f7b83 100644 --- a/platformio.ini +++ b/platformio.ini @@ -99,7 +99,7 @@ lib_deps = extends = arduino_base upload_protocol = picotool board_build.core = earlephilhower -platform = https://github.com/maxgerhardt/platform-raspberrypi.git +platform = https://github.com/maxgerhardt/platform-raspberrypi.git#4e22a0d ; framework-arduinopico @ 1.50600.0+sha.6a1d13e9 build_flags = ${arduino_base.build_flags} -D RP2040_PLATFORM diff --git a/variants/rpi_picow/platformio.ini b/variants/rpi_picow/platformio.ini index 9253d36f..fa7a0ac3 100644 --- a/variants/rpi_picow/platformio.ini +++ b/variants/rpi_picow/platformio.ini @@ -1,6 +1,5 @@ [rpi_picow] extends = rp2040_base -platform = https://github.com/maxgerhardt/platform-raspberrypi.git board = rpipicow board_build.core = earlephilhower board_build.filesystem_size = 0.5m