mbed lib with startup delay fixed for Nucleo401RE

Fork of mbed-src by mbed official

Revision:
525:c320967f86b9
Parent:
13:0645d8841f51
Child:
547:88c982c8f758
--- a/api/Timer.h	Mon Apr 27 09:45:08 2015 +0100
+++ b/api/Timer.h	Tue Apr 28 11:45:12 2015 +0100
@@ -17,6 +17,7 @@
 #define MBED_TIMER_H
 
 #include "platform.h"
+#include "ticker_api.h"
 
 namespace mbed {
 
@@ -45,6 +46,7 @@
 
 public:
     Timer();
+    Timer(const ticker_data_t *const data);
 
     /** Start the timer
      */
@@ -81,6 +83,7 @@
     int _running;          // whether the timer is running
     unsigned int _start;   // the start time of the latest slice
     int _time;             // any accumulated time from previous slices
+    const ticker_data_t *const _ticker_data;
 };
 
 } // namespace mbed