mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by Umar Naeem

Revision:
160:d5399cc887bb
Parent:
149:156823d33999
diff -r 612c381a210f -r d5399cc887bb platform/CircularBuffer.h
--- a/platform/CircularBuffer.h	Tue Feb 28 17:13:35 2017 +0000
+++ b/platform/CircularBuffer.h	Tue Mar 14 16:40:56 2017 +0000
@@ -16,7 +16,7 @@
 #ifndef MBED_CIRCULARBUFFER_H
 #define MBED_CIRCULARBUFFER_H
 
-#include "platform/critical.h"
+#include "platform/mbed_critical.h"
 
 namespace mbed {
 /** \addtogroup platform */