+static
+int std_stream_put(char c, FILE* f){
+ static uint8_t did_r = 0;
+ if(!did_r && c == '\n'){
+ uart0_putc('\r');
+ }
+ uart0_putc((char)c);
+ did_r = (c == '\r');
+ return 0;
+}
+
+static
+int std_stream_get(FILE* f){
+ return (int)uart0_getc();
+}
+