Update mbed framework to 5.10.1

Author: valeros

builder/frameworks/mbed

@@ -17,34 +17,34 @@ platform = nxplpc
 framework = mbed
 board = lpc11u24
 
+[env:lpc11u35]
+platform = nxplpc
+framework = mbed
+board = lpc11u35
+
+[env:lpc1549]
+platform = nxplpc
+framework = mbed
+board = lpc1549
+
 [env:lpc4088]
 platform = nxplpc
 framework = mbed
 board = lpc4088
+build_flags = -DPIO_FRAMEWORK_MBED_RTOS_PRESENT
 
 [env:seeedArchPro]
 platform = nxplpc
 framework = mbed
 board = seeedArchPro
+build_flags = -DPIO_FRAMEWORK_MBED_RTOS_PRESENT
 
 ; [env:seeedArchGPRS]
 ; platform = nxplpc
 ; framework = mbed
 ; board = seeedArchGPRS
 ; build_flags = -DPIO_FRAMEWORK_MBED_RTOS_PRESENT
 
-[env:lpc11u35]
-platform = nxplpc
-framework = mbed
-board = lpc11u35
-build_flags = -DPIO_FRAMEWORK_MBED_RTOS_PRESENT
-
-[env:lpc1549]
-platform = nxplpc
-framework = mbed
-board = lpc1549
-build_flags = -DPIO_FRAMEWORK_MBED_RTOS_PRESENT
-
 ; [env:lpc11u35_y5_mbug]
 ; platform = nxplpc
 ; framework = mbed

examples/mbed-events/platformio.ini

@@ -31,14 +31,14 @@ framework = mbed
 board = seeedArchPro
 build_flags = -DPIO_FRAMEWORK_MBED_RTOS_PRESENT
 
-[env:lpc11u35]
+[env:lpc4330_m4]
 platform = nxplpc
 framework = mbed
-board = lpc11u35
+board = lpc4330_m4
 build_flags = -DPIO_FRAMEWORK_MBED_RTOS_PRESENT
 
-[env:lpc1549]
+[env:lpc54114]
 platform = nxplpc
 framework = mbed
-board = lpc1549
+board = lpc54114
 build_flags = -DPIO_FRAMEWORK_MBED_RTOS_PRESENT

examples/mbed-rtos/platformio.ini

@@ -31,7 +31,7 @@
     "framework-mbed": {
       "type": "framework",
       "optional": true,
-      "version": "~5.50904.0"
+      "version": "~5.51001.0"
     },
     "tool-openocd": {
       "type": "debugger",