diff --git a/.github/workflows/examples.yml b/.github/workflows/examples.yml
index 94e8130..9d03bd2 100644
--- a/.github/workflows/examples.yml
+++ b/.github/workflows/examples.yml
@@ -7,7 +7,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [ubuntu-16.04, windows-latest, macos-latest]
+        os: [ubuntu-18.04, windows-latest, macos-latest]
         python-version: [3.7]
         example:
           - "examples/arduino-blink"
diff --git a/builder/frameworks/arduino/mbed-core b/builder/frameworks/arduino/mbed-core
index ceb4f60..36ee4ff 160000
--- a/builder/frameworks/arduino/mbed-core
+++ b/builder/frameworks/arduino/mbed-core
@@ -1 +1 @@
-Subproject commit ceb4f608f9b4834ac4fa5472e1db2a2c2f9d216e
+Subproject commit 36ee4ff8adb0d80d6ff15e03b34e7b10a147b4d0
diff --git a/platform.json b/platform.json
index d41d11c..8e07673 100644
--- a/platform.json
+++ b/platform.json
@@ -18,7 +18,7 @@
     "type": "git",
     "url": "https://github.com/platformio/platform-raspberrypi.git"
   },
-  "version": "1.3.0",
+  "version": "1.4.0",
   "frameworks": {
     "arduino": {
       "package": "framework-arduino-mbed",
@@ -35,7 +35,7 @@
       "type": "framework",
       "optional": true,
       "owner": "platformio",
-      "version": "~2.4.0"
+      "version": "~2.5.0"
     },
     "tool-rp2040tools": {
       "type": "uploader",