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

diff --git a/palacios/src/geekos/debug.c b/palacios/src/geekos/debug.c
index 0c64a15..986fc5f 100644
--- a/palacios/src/geekos/debug.c
+++ b/palacios/src/geekos/debug.c
@@ -6,6 +6,6 @@ void PrintBoth(const char * format, ...) {
 
   va_start(args, format);
   PrintList(format, args);
-  //SerialPrintList(format, args);
+  SerialPrintList(format, args);
   va_end(args);
 }