MBed 6 Serial Port Stream Adapter

[JojoS (Johannes Stratmann)]

another way to use BufferedSerial is fprintf((FILE*)&serial, "hello");
This is not exactly compatible, but a file handle could be passed and redirection to another device is also possible.