From 3adc415471c8b53ef024cde0846c206372cbf04e Mon Sep 17 00:00:00 2001
From: Austin Clements <amdragon@mit.edu>
Date: Sun, 20 Sep 2009 23:09:59 -0400
Subject: [PATCH] Hack to make newlines on the serial port work

---
 console.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/console.c b/console.c
index 0613a47..f7a6590 100644
--- a/console.c
+++ b/console.c
@@ -205,6 +205,9 @@ consoleintr(int (*getc)(void))
       break;
     default:
       if(c != 0 && input.e-input.r < INPUT_BUF){
+        // The serial port produces 0x13, not 0x10
+        if(c == '\r')
+          c = '\n';
         input.buf[input.e++ % INPUT_BUF] = c;
         consputc(c);
         if(c == '\n' || c == C('D') || input.e == input.r+INPUT_BUF){