X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Fdebug.c;h=e253a9375724429d4f9920e68e436c9decb6705e;hb=f032dd8f6f03c414f9d1f208845464ff76050b6c;hp=0c64a15b6dd7e3f9d7670551deb94e2c7f73f138;hpb=828663cb96cc49aaf75ac091f191daac2733003e;p=palacios-OLD.git

diff --git a/palacios/src/geekos/debug.c b/palacios/src/geekos/debug.c
index 0c64a15..e253a93 100644
--- a/palacios/src/geekos/debug.c
+++ b/palacios/src/geekos/debug.c
@@ -1,3 +1,6 @@
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #include <geekos/debug.h>
 
 
@@ -6,6 +9,6 @@ void PrintBoth(const char * format, ...) {
 
   va_start(args, format);
   PrintList(format, args);
-  //SerialPrintList(format, args);
+  SerialPrintList(format, args);
   va_end(args);
 }