From: Lei Xia <lxia@northwestern.edu>
Date: Thu, 18 Aug 2011 03:03:10 +0000 (-0500)
Subject: add debug configure option for virtual serial
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=0d59908c92e599d6061db7ebba75f2f0d87fef63

add debug configure option for virtual serial
---

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index 758f2bd..23a88ff 100644
--- a/palacios/src/devices/Kconfig
+++ b/palacios/src/devices/Kconfig
@@ -459,6 +459,13 @@ config SERIAL_UART
 	help 
 	  Include virtual serial port
 
+config DEBUG_SERIAL
+        bool "Debug Serial Port"
+        default n
+        depends on SERIAL_UART
+        help
+          Debugging virtual serial port
+
 config CHAR_STREAM
 	bool "Stream based character frontend"
 	depends on STREAM