Use of information interface to enhance output of /proc/v3vee-/v3-guests in Linux

[palacios.releases.git] / Kconfig

diff --git a/Kconfig b/Kconfig
index bcf3ef7..1d21516 100644 (file)
--- 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