mbed library sources

Fork of mbed-src by mbed official

Revision:
431:255afbe6270c
Parent:
212:34d62c0b2af6
--- a/api/Stream.h	Tue Dec 09 14:30:09 2014 +0000
+++ b/api/Stream.h	Tue Dec 09 14:45:08 2014 +0000
@@ -21,6 +21,10 @@
 
 namespace mbed {
 
+extern void mbed_set_unbuffered_stream(FILE *_file);
+extern int mbed_getc(FILE *_file);
+extern char* mbed_gets(char *s, int size, FILE *_file);
+
 class Stream : public FileLike {
 
 public: