diff --git a/builder/frameworks/arduino/mbed-core b/builder/frameworks/arduino/mbed-core
index ed9a345..6174f76 160000
--- a/builder/frameworks/arduino/mbed-core
+++ b/builder/frameworks/arduino/mbed-core
@@ -1 +1 @@
-Subproject commit ed9a3458e336660fdf2b1d4a4c828a2ddfd214ad
+Subproject commit 6174f769bfc8610a397ed0c912cd059246e547cd
diff --git a/platform.json b/platform.json
index 2fcc5cb..ef6f648 100644
--- a/platform.json
+++ b/platform.json
@@ -18,7 +18,7 @@
     "type": "git",
     "url": "https://github.com/platformio/platform-raspberrypi.git"
   },
-  "version": "1.8.0",
+  "version": "1.9.0",
   "frameworks": {
     "arduino": {
       "package": "framework-arduino-mbed",
@@ -35,7 +35,7 @@
       "type": "framework",
       "optional": true,
       "owner": "platformio",
-      "version": "~3.5.4"
+      "version": "~4.0.2"
     },
     "tool-rp2040tools": {
       "type": "uploader",