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/api/Stream.h	Thu Nov 26 10:00:10 2015 +0000
+++ b/api/Stream.h	Thu Nov 26 10:15:10 2015 +0000
@@ -18,6 +18,7 @@
 
 #include "platform.h"
 #include "FileLike.h"
+#include <cstdarg>
 
 namespace mbed {
 
@@ -37,6 +38,8 @@
     char *gets(char *s, int size);
     int printf(const char* format, ...);
     int scanf(const char* format, ...);
+    int vprintf(const char* format, std::va_list args);
+    int vscanf(const char* format, std::va_list args);
 
     operator std::FILE*() {return _file;}