mbed library sources. Supersedes mbed-src. RTC working even after reset

Fork of mbed-dev by mbed official

Revision:
28:8e1f0b362990
Parent:
0:9b334a45a8ff
Child:
144:ef7eb2e8f9f7
--- a/common/Stream.cpp	Thu Nov 26 10:00:10 2015 +0000
+++ b/common/Stream.cpp	Thu Nov 26 10:15:10 2015 +0000
@@ -15,8 +15,6 @@
  */
 #include "Stream.h"
 
-#include <cstdarg>
-
 namespace mbed {
 
 Stream::Stream(const char *name) : FileLike(name), _file(NULL) {
@@ -108,4 +106,16 @@
     return r;
 }
 
+int Stream::vprintf(const char* format, std::va_list args) {
+    fflush(_file);
+    int r = vfprintf(_file, format, args);
+    return r;
+}
+
+int Stream::vscanf(const char* format, std::va_list args) {
+    fflush(_file);
+    int r = vfscanf(_file, format, args);
+    return r;
+}
+
 } // namespace mbed