From 11c5f1d161adae094a95580aa2163fdfd8479766 Mon Sep 17 00:00:00 2001
From: true <true@hidden.user>
Date: Fri, 23 Feb 2024 05:24:42 -0800
Subject: [PATCH] Update platformio.ini to build with current upstream

---
 platformio.ini | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/platformio.ini b/platformio.ini
index a750731..29ba65e 100644
--- a/platformio.ini
+++ b/platformio.ini
@@ -10,8 +10,9 @@
 
 [env:supercon7-badge-pico]
 platform = https://github.com/maxgerhardt/platform-raspberrypi.git
-board = rpipico
+board = pico
 framework = arduino
+board_build.core = earlephilhower
 board_build.filesystem_size = 1.4m
 
 debug_build_flags =