Release 2.5.2

Author: facchinm

package_full.sh

@@ -1,5 +1,5 @@
 #Get version from git(hub) tag
-export VERSION="2.4.1"
+export VERSION="2.5.2"
 
 FLAVOURS=`ls *.variables`
 

platform.txt

@@ -4,8 +4,8 @@
 # For more info:
 # https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5---3rd-party-Hardware-specification
 
-name=Arduino Mbed OS Boards
-version=9.9.9
+name=Arduino Mbed OS  Boards
+version=
 
 # Compile variables
 # ------------------------

variants/ARDUINO_NANO33BLE/defines.txt

@@ -33,7 +33,7 @@
 -DFEATURE_STORAGE=1
 -D__FPU_PRESENT=1
 -D__MBED__=1
--DMBED_BUILD_TIMESTAMP=1632318040.1049585
+-DMBED_BUILD_TIMESTAMP=1632403401.7148244
 -D__MBED_CMSIS_RTOS_CM
 -DMBED_MPU_CUSTOM
 -DMBED_TICKLESS

variants/EDGE_CONTROL/defines.txt

@@ -38,7 +38,7 @@
 -DFEATURE_STORAGE=1
 -D__FPU_PRESENT=1
 -D__MBED__=1
--DMBED_BUILD_TIMESTAMP=1632318195.124772
+-DMBED_BUILD_TIMESTAMP=1632403591.1261852
 -D__MBED_CMSIS_RTOS_CM
 -DMBED_MPU_CUSTOM
 -DMBED_TICKLESS

variants/NANO_RP2040_CONNECT/defines.txt

@@ -19,7 +19,7 @@
 -DDEVICE_USTICKER=1
 -DDEVICE_WATCHDOG=1
 -D__MBED__=1
--DMBED_BUILD_TIMESTAMP=1632318019.2445908
+-DMBED_BUILD_TIMESTAMP=1632403376.6567667
 -D__MBED_CMSIS_RTOS_CM
 -DMBED_MPU_CUSTOM
 -DPICO_FLASH_SIZE_BYTES=16*1024*1024

variants/NICLA/defines.txt

@@ -32,7 +32,7 @@
 -DFEATURE_BLE=1
 -D__FPU_PRESENT=1
 -D__MBED__=1
--DMBED_BUILD_TIMESTAMP=1632318226.9226737
+-DMBED_BUILD_TIMESTAMP=1632403632.3026016
 -D__MBED_CMSIS_RTOS_CM
 -DMBED_MPU_CUSTOM
 -DMBED_TICKLESS

variants/PORTENTA_H7_M4/defines.txt

@@ -43,7 +43,7 @@
 -DFEATURE_BLE=1
 -D__FPU_PRESENT=1
 -D__MBED__=1
--DMBED_BUILD_TIMESTAMP=1632318145.1571412
+-DMBED_BUILD_TIMESTAMP=1632403527.8572242
 -D__MBED_CMSIS_RTOS_CM
 -DMBED_MPU_CUSTOM
 -DMBED_TICKLESS

variants/PORTENTA_H7_M7/defines.txt

@@ -44,7 +44,7 @@
 -DFEATURE_BLE=1
 -D__FPU_PRESENT=1
 -D__MBED__=1
--DMBED_BUILD_TIMESTAMP=1632318093.6840954
+-DMBED_BUILD_TIMESTAMP=1632403464.1729383
 -D__MBED_CMSIS_RTOS_CM
 -DMBED_TICKLESS
 -DMBEDTLS_FS_IO

variants/RASPBERRY_PI_PICO/defines.txt

@@ -19,7 +19,7 @@
 -DDEVICE_USTICKER=1
 -DDEVICE_WATCHDOG=1
 -D__MBED__=1
--DMBED_BUILD_TIMESTAMP=1632318071.9428396
+-DMBED_BUILD_TIMESTAMP=1632403438.5330071
 -D__MBED_CMSIS_RTOS_CM
 -DMBED_MPU_CUSTOM
 -DPICO_NO_BINARY_INFO=1