Index: lib/kernel/console.c
===================================================================
RCS file: /home/staff/gback/cvs/pintos-fall2008/src/lib/kernel/console.c,v
retrieving revision 1.1.1.1
diff -u -r1.1.1.1 console.c
--- lib/kernel/console.c	21 Sep 2008 17:03:00 -0000	1.1.1.1
+++ lib/kernel/console.c	12 Nov 2008 23:55:12 -0000
@@ -186,6 +186,11 @@
 {
   ASSERT (console_locked_by_current_thread ());
   write_cnt++;
+#ifdef MIRROR_CONSOLE_TO_SERIAL_PORT
+  // turn LF into CRLF
+  if (c == '\n')
+      serial_putc ('\r');
   serial_putc (c);
+#endif
   vga_putc (c);
 }