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:
174:b96e65c34a4d
Parent:
168:9672193075cf
Child:
175:af195413fb11
diff -r e131a1973e81 -r b96e65c34a4d drivers/Timer.h
--- a/drivers/Timer.h	Fri Sep 15 14:59:18 2017 +0100
+++ b/drivers/Timer.h	Mon Oct 02 15:33:19 2017 +0100
@@ -19,6 +19,7 @@
 #include "platform/platform.h"
 #include "hal/ticker_api.h"
 #include "platform/NonCopyable.h"
+#include "platform/mbed_sleep.h"
 
 namespace mbed {
 /** \addtogroup drivers */