mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by Umar Naeem

Revision:
160:d5399cc887bb
Parent:
151:5eaa88a5bcc7
--- a/platform/mbed_wait_api_rtos.cpp	Tue Feb 28 17:13:35 2017 +0000
+++ b/platform/mbed_wait_api_rtos.cpp	Tue Mar 14 16:40:56 2017 +0000
@@ -18,10 +18,10 @@
 // if the RTOS is present.
 #ifdef MBED_CONF_RTOS_PRESENT
 
-#include "platform/wait_api.h"
+#include "platform/mbed_wait_api.h"
 #include "hal/us_ticker_api.h"
 #include "rtos/rtos.h"
-#include "platform/critical.h"
+#include "platform/mbed_critical.h"
 
 void wait(float s) {
     wait_us(s * 1000000.0f);