mbed library sources. Supersedes mbed-src.

Dependents:   Nucleo_Hello_Encoder BLE_iBeaconScan AM1805_DEMO DISCO-F429ZI_ExportTemplate1 ... more

Revision:
184:08ed48f1de7f
Parent:
175:af195413fb11
Child:
188:bcfe06ba3d64
--- a/drivers/Timer.h	Tue Mar 20 17:01:51 2018 +0000
+++ b/drivers/Timer.h	Thu Apr 19 17:12:19 2018 +0100
@@ -19,7 +19,7 @@
 #include "platform/platform.h"
 #include "hal/ticker_api.h"
 #include "platform/NonCopyable.h"
-#include "platform/mbed_sleep.h"
+#include "platform/mbed_power_mgmt.h"
 
 namespace mbed {
 /** \addtogroup drivers */