From 9a13c2575e569c141bd67db2ae1ed7cb61cd9ed6 Mon Sep 17 00:00:00 2001
From: Maximilian Gerhardt <maximilian.gerhardt@rub.de>
Date: Fri, 23 Dec 2022 21:49:19 +0100
Subject: [PATCH] Update toolchain, update arduino-pico (ARMv7l support)

---
 platform.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/platform.json b/platform.json
index 1b2b0d4..095c6d1 100644
--- a/platform.json
+++ b/platform.json
@@ -35,7 +35,7 @@
       "type": "toolchain", 
       "optional": true,
       "owner": "earlephilhower",
-      "version": "5.100300.220714"
+      "version": "5.100300.221223"
     },
     "framework-arduino-mbed": {
       "type": "framework",
@@ -47,7 +47,7 @@
       "type": "framework",
       "optional": true,
       "owner": "earlephilhower",
-      "version": "https://github.com/earlephilhower/arduino-pico.git#4cc8e6d6db7533346a81c59657c5d76cf246668b"
+      "version": "https://github.com/earlephilhower/arduino-pico.git#e105c539ad28079371cbd7fa025590a8f80d9b9e"
     },
     "tool-rp2040tools": {
       "type": "uploader",