mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Revision:
186:707f6e361f3e
Parent:
184:08ed48f1de7f
--- a/mbed.h	Thu Apr 19 17:12:19 2018 +0100
+++ b/mbed.h	Fri Jun 22 16:45:37 2018 +0100
@@ -16,13 +16,13 @@
 #ifndef MBED_H
 #define MBED_H
 
-#define MBED_LIBRARY_VERSION 160
+#define MBED_LIBRARY_VERSION 162
 
 #if MBED_CONF_RTOS_PRESENT
 // RTOS present, this is valid only for mbed OS 5
 #define MBED_MAJOR_VERSION 5
-#define MBED_MINOR_VERSION 8
-#define MBED_PATCH_VERSION 2
+#define MBED_MINOR_VERSION 9
+#define MBED_PATCH_VERSION 1
 
 #else
 // mbed 2
@@ -109,6 +109,7 @@
 #include "platform/DirHandle.h"
 #include "platform/CriticalSectionLock.h"
 #include "platform/DeepSleepLock.h"
+#include "platform/mbed_stats.h"
 
 // mbed Non-hardware components
 #include "platform/Callback.h"