X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=1d21516fce7b643caf2f9d87d23dea30119195c3;hb=e30e35a15e2350e77f71e5b052b5a67a77cdf267;hp=bcf3ef7f4a5fdbf3862164ad4ff84f5a78fb8626;hpb=3716aafce2de9e12ed62bee37968bfc0e0eaed44;p=palacios.releases.git

diff --git a/Kconfig b/Kconfig
index bcf3ef7..1d21516 100644
--- a/Kconfig
+++ b/Kconfig
@@ -387,6 +387,13 @@ config DEBUG_HALT
 	help 
 	  This turns on debugging for the halt instruction handler
 
+config DEBUG_MWAIT
+	bool "MWAIT/MONITOR"
+	default n
+	depends on DEBUG_ON
+	help 
+	  This turns on debugging for the mwait and monitor instruction handlers
+
 config DEBUG_DEV_MGR
 	bool "Device Manager"
 	default n