From 580ec590fa41f0a692128c06451c3a4aa8570fa7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20G=C3=B6ttgens?= <tgoettgens@gmail.com>
Date: Fri, 23 Dec 2022 11:41:58 +0100
Subject: [PATCH] something broke pico toolchain. 'twasn'tme ..

---
 arch/rp2040/rp2040.ini | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/arch/rp2040/rp2040.ini b/arch/rp2040/rp2040.ini
index 8b7bdbff..cf898a60 100644
--- a/arch/rp2040/rp2040.ini
+++ b/arch/rp2040/rp2040.ini
@@ -1,6 +1,8 @@
 ; Common settings for rp2040 Processor based targets
 [rp2040_base]
-platform = https://github.com/maxgerhardt/platform-raspberrypi.git#5ce1a228e7cae453f366deb8962252b9b7356bbc
+platform = https://github.com/maxgerhardt/platform-raspberrypi.git#20c7dbfcfe6677c5305fa28ecf5e3870321cb157
+platform_packages = 
+  earlephilhower/toolchain-rp2040-earlephilhower@^5.100300.221223
 extends = arduino_base
 board_build.core = earlephilhower
 board_build.filesystem_size = 0.5m