X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Fdebug.c;h=986fc5f4abdf17414a3347f42977b1e28382a3cd;hb=2e05f3b8f738466246add183c55bcb17abf33ec9;hp=0c64a15b6dd7e3f9d7670551deb94e2c7f73f138;hpb=ff58148c2cfbbc82405dc9ec25056cc93c773083;p=palacios.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);
 }