Merge pull request #199 from valeros/develop

Add mbed support for Teensy 3.1 board // Resolve #183

examples/mbed/mbed-blink/platformio.ini

@@ -41,3 +41,9 @@ board = frdm_kl25z
 platform = ststm32
 framework = mbed
 board = nucleo_f401re
+
+# Teensy Platform
+[env:teensy31]
+platform = teensy
+framework = mbed
+board = teensy31

platformio/boards/teensy.json

@@ -62,7 +62,7 @@
             "mcu": "mk20dx256",
             "cpu": "cortex-m4"
         },
-        "frameworks": ["arduino"],
+        "frameworks": ["arduino", "mbed"],
         "name": "Teensy 3.1",
         "platform": "teensy",
         "upload": {

platformio/builder/scripts/frameworks/mbed.py

@@ -53,7 +53,8 @@ MBED_VARIANTS = {
     "frdm_k64f": "K64F",
     "frdm_kl05z": "KL05Z",
     "frdm_k20d50m": "K20D50M",
-    "frdm_k22f": "K22F"
+    "frdm_k22f": "K22F",
+    "teensy31": "TEENSY3_1"
 }
 
 MBED_LIBS_MAP = {