Add support for Mbed OS CE

.github/workflows/examples.yml

@@ -20,6 +20,7 @@ jobs:
           - "examples/picosdk-blink"
           - "examples/picosdk-pioasm-blink"
           - "examples/picosdk-pioasm-blink-auto"
+          - "examples/mbed-ce-hello-world"
     runs-on: ${{ matrix.os }}
     steps:
       - uses: actions/checkout@v4

boards/rpipico.json

@@ -31,7 +31,8 @@
     },
     "frameworks": [
         "arduino",
-        "picosdk"
+        "picosdk",
+        "mbed-ce"
     ],
     "name": "Pico",
     "upload": {

builder/frameworks/mbed-ce.py

@@ -0,0 +1,26 @@
+# Copyright 2014-present PlatformIO <contact@platformio.org>
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#    http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+"""
+Mbed OS Community Edition
+https://mbed-ce.dev/
+"""
+
+from os.path import join
+
+from SCons.Script import Import, SConscript
+
+Import("env")
+
+SConscript(
+    join(env.PioPlatform().get_package_dir("framework-mbed-ce"), "tools", "python", "mbed_platformio", "build_mbed_ce.py"))

examples/mbed-ce-hello-world/.gitignore

@@ -0,0 +1 @@
+.pio

examples/mbed-ce-hello-world/mbed_app.json5

@@ -0,0 +1,15 @@
+
+{
+   "target_overrides": {
+      "*": {
+         "platform.stdio-baud-rate": 9600,
+         "platform.stdio-buffered-serial": 1,
+
+         // Uncomment to use mbed-baremetal instead of mbed-os
+         // "target.application-profile": "bare-metal"
+      }
+   },
+   "link_libraries": [
+	   "mbed-storage-sd"
+   ]
+}

examples/mbed-ce-hello-world/platformio.ini

@@ -0,0 +1,16 @@
+; PlatformIO Project Configuration File
+;
+;   Build options: build flags, source filter
+;   Upload options: custom upload port, speed and extra flags
+;   Library options: dependencies, extra library storages
+;   Advanced options: extra scripting
+;
+; Please visit documentation for the other options and examples
+; https://docs.platformio.org/page/projectconf.html
+
+[env]
+platform = raspberrypi
+framework = mbed-ce
+
+[env:rpipico]
+board = rpipico

examples/mbed-ce-hello-world/src/main.cpp

@@ -0,0 +1,14 @@
+#include "mbed.h"
+
+int main()
+{
+	while(true) 
+	{
+		printf("Hello world from Mbed CE!\n");
+		ThisThread::sleep_for(1s);
+	}
+
+	// main() is expected to loop forever.
+	// If main() actually returns the processor will halt
+	return 0;
+}

platform.json

@@ -27,6 +27,13 @@
     "picosdk": {
       "package": "framework-picosdk",
       "script": "builder/frameworks/picosdk.py"
+    },
+    "mbed-ce": {
+      "package": "framework-mbed-ce",
+      "script": "builder/frameworks/mbed-ce.py",
+      "description": "Community edition of Mbed OS, an open-source operating system designed for the Internet of Things.",
+      "homepage": "https://mbed-ce.dev",
+      "title": "Mbed CE"
     }
   },
   "packages": {
@@ -65,6 +72,12 @@
       "owner": "platformio",
       "version": "https://github.com/maxgerhardt/pico-sdk.git#4315984000afe20ac82c78c597a3c4a591f524b0"
     },
+    "framework-mbed-ce": {
+      "type": "framework",
+      "optional": true,
+      "owner": "mbed-ce-project",
+      "version": ">=6.99.4"
+    },
     "tool-picotool-rp2040-earlephilhower": {
       "type": "uploader",
       "optional": false,
@@ -94,6 +107,16 @@
       "optional": true,
       "owner": "earlephilhower",
       "version": "~5.100300.0"
+    },
+    "tool-ninja": {
+      "optional": true,
+      "owner": "platformio",
+      "version": ">=1.7.0"
+    },
+    "tool-cmake": {
+      "optional": true,
+      "owner": "platformio",
+      "version": ">=3.21.0"
     }
   }
 }

platform.py

@@ -166,6 +166,14 @@ def configure_default_packages(self, variables, targets):
                 sys.stderr.write(
                     "Error! Unknown build.core value '%s'. Don't know which Arduino core package to use." % build_core)
                 sys.exit(-1)
+        elif "mbed-ce" in frameworks:
+            # Mbed CE only supports ARM cores and needs CMake and Ninja.
+            # Note: Currently unable to link via the earlephilhower toolchain as that seems to have retargetable locking
+            # turned on in Newlib, which Mbed does not currently support.
+            self.packages["toolchain-rp2040-earlephilhower"]["optional"] = True
+            self.packages.pop("toolchain-rp2040-earlephilhower", None)
+            self.packages["tool-cmake"]["optional"] = False
+            self.packages["tool-ninja"]["optional"] = False
         else:
             # this is a pico-sdk or baremetal project. if it's for a rp2350-riscv, we need the RISC-V toolchain.
             if chip == "rp2350-riscv":