From f2cf0ed3154c156b8c6cbccbc6a043758dbbff56 Mon Sep 17 00:00:00 2001 From: Ben Meadors Date: Wed, 24 May 2023 14:09:37 -0500 Subject: [PATCH] Platform packages version (#2515) * I think something is wrong here * Use tag on repo --- arch/rp2040/rp2040.ini | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arch/rp2040/rp2040.ini b/arch/rp2040/rp2040.ini index 3ecbd910..1ed83f3b 100644 --- a/arch/rp2040/rp2040.ini +++ b/arch/rp2040/rp2040.ini @@ -2,7 +2,7 @@ [rp2040_base] platform = https://github.com/maxgerhardt/platform-raspberrypi.git#0c33219f53faa035e188925ea1324f472e8b93d2 extends = arduino_base -#platform_packages = framework-arduinopico@https://github.com/earlephilhower/arduino-pico.git#652f9f9eda0d77efeafebc7c1ff5cd45defc71bf +platform_packages = framework-arduinopico@https://github.com/earlephilhower/arduino-pico.git#3.2.1 board_build.core = earlephilhower board_build.filesystem_size = 0.5m