mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Revision:
148:21d94c44109e
Parent:
144:ef7eb2e8f9f7
--- a/targets/hal/TARGET_STM/TARGET_STM32F7/sleep.c	Fri Sep 16 16:24:25 2016 +0100
+++ b/targets/hal/TARGET_STM/TARGET_STM32F7/sleep.c	Fri Sep 30 18:07:01 2016 +0100
@@ -28,6 +28,7 @@
  *******************************************************************************
  */
 #include "sleep_api.h"
+#include "rtc_api_hal.h"
 
 #if DEVICE_SLEEP
 
@@ -49,6 +50,10 @@
 
     // After wake-up from STOP need to reconfigure the system clock
     SetSysClock();
+    
+#if DEVICE_LOWPOWERTIMER
+    rtc_synchronize();
+#endif
 }
 
 #endif