mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Revision:
160:d5399cc887bb
Parent:
153:fa9ff456f731
--- a/platform/mbed_critical.c	Tue Feb 28 17:13:35 2017 +0000
+++ b/platform/mbed_critical.c	Tue Mar 14 16:40:56 2017 +0000
@@ -17,11 +17,11 @@
 
 /* Declare __STDC_LIMIT_MACROS so stdint.h defines UINT32_MAX when using C++ */
 #define __STDC_LIMIT_MACROS
-#include "platform/critical.h"
+#include "platform/mbed_critical.h"
 
 #include "cmsis.h"
 #include "platform/mbed_assert.h"
-#include "platform/toolchain.h"
+#include "platform/mbed_toolchain.h"
 
 #define EXCLUSIVE_ACCESS (!defined (__CORTEX_M0) && !defined (__CORTEX_M0PLUS))