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
--- a/platform/platform.h	Tue Feb 28 17:13:35 2017 +0000
+++ b/platform/platform.h	Tue Mar 14 16:40:56 2017 +0000
@@ -24,6 +24,8 @@
 #include <cstdio>
 #include <cstring>
 
+#include "platform/mbed_retarget.h"
+#include "platform/mbed_toolchain.h"
 #include "device.h"
 #include "PinNames.h"
 #include "PeripheralNames.h"