mbed library sources, mbed-dev only for TYBLE16

Fork of mbed-dev by mbed official

Please refer flowing link.
/users/kenjiArai/notebook/tyble16-module-will-become-a-mbed-family--mbedliza/

Revision:
160:d5399cc887bb
Parent:
149:156823d33999
Child:
180:96ed750bd169
diff -r 612c381a210f -r d5399cc887bb drivers/InterruptManager.cpp
--- a/drivers/InterruptManager.cpp	Tue Feb 28 17:13:35 2017 +0000
+++ b/drivers/InterruptManager.cpp	Tue Mar 14 16:40:56 2017 +0000
@@ -17,7 +17,7 @@
 #if defined(NVIC_NUM_VECTORS)
 
 #include "drivers/InterruptManager.h"
-#include "platform/critical.h"
+#include "platform/mbed_critical.h"
 #include <string.h>
 
 #define CHAIN_INITIAL_SIZE    4