From 7b10441a285fd013b03c69031a44365553cd85dc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20G=C3=B6ttgens?= <tgoettgens@gmail.com>
Date: Thu, 13 Oct 2022 14:21:48 +0200
Subject: [PATCH] update raspberry pi framework some more...

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

diff --git a/arch/rp2040/rp2040.ini b/arch/rp2040/rp2040.ini
index 20c99dc5e..9eea340bf 100644
--- a/arch/rp2040/rp2040.ini
+++ b/arch/rp2040/rp2040.ini
@@ -1,7 +1,8 @@
 ; Common settings for rp2040 Processor based targets
 [rp2040_base]
-platform = https://github.com/maxgerhardt/platform-raspberrypi.git
+platform = https://github.com/maxgerhardt/platform-raspberrypi.git#5ce1a228e7cae453f366deb8962252b9b7356bbc
 extends = arduino_base
+board_build.core = earlephilhower
 board_build.filesystem_size = 0.5m
 build_flags = 
   ${arduino_base.build_flags} -Wno-unused-variable