From: Peter Dinda <pdinda@northwestern.edu>
Date: Mon, 14 Jul 2008 17:27:01 +0000 (+0000)
Subject: keyboard driver has debug printing enabled
X-Git-Tag: reaches-user-mode-on-qemu-and-both-amd-boxes-nested-paging-faults~9
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=e3790ca3f1dc65672c1e82b9d6ab6d66c2ad17aa

keyboard driver has debug printing enabled
---

diff --git a/palacios/src/devices/keyboard.c b/palacios/src/devices/keyboard.c
index 3e8811e..6a07c0a 100644
--- a/palacios/src/devices/keyboard.c
+++ b/palacios/src/devices/keyboard.c
@@ -3,9 +3,9 @@
 #include <palacios/vmm.h>
 #include <palacios/vmm_types.h>
 
-#define KEYBOARD_DEBUG 0
+#define KEYBOARD_DEBUG 1
 
-#define KEYBOARD_DEBUG_80H   0
+#define KEYBOARD_DEBUG_80H   1
 
 #if KEYBOARD_DEBUG
 #define KEYBOARD_DEBUG_PRINT(first, rest...) PrintDebug(first, ##rest)