mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by Umar Naeem

Revision:
160:d5399cc887bb
Parent:
149:156823d33999
--- a/platform/mbed_interface.c	Tue Feb 28 17:13:35 2017 +0000
+++ b/platform/mbed_interface.c	Tue Mar 14 16:40:56 2017 +0000
@@ -17,10 +17,10 @@
 #include "platform/mbed_interface.h"
 
 #include "hal/gpio_api.h"
-#include "platform/wait_api.h"
-#include "platform/semihost_api.h"
+#include "platform/mbed_wait_api.h"
+#include "platform/mbed_semihost_api.h"
 #include "platform/mbed_error.h"
-#include "platform/toolchain.h"
+#include "platform/mbed_toolchain.h"
 
 #if DEVICE_SEMIHOST