X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fextensions%2FKconfig;h=158ed42894346eaa79fa90cef812704fb8a9684a;hb=d9c2f0c816ccafbad28d5d7c451bab2723db8fdf;hp=c7b7d698ad6a4c34026fb76a156cdcbe519ca972;hpb=55a97f129cf51e899308ba2d6070c77e4901559e;p=palacios.git

diff --git a/palacios/src/extensions/Kconfig b/palacios/src/extensions/Kconfig
index c7b7d69..158ed42 100644
--- a/palacios/src/extensions/Kconfig
+++ b/palacios/src/extensions/Kconfig
@@ -26,11 +26,17 @@ config EXT_MTRRS
 	   Provides a virtualized set of MTTR registers
 
 config EXT_MACH_CHECK
-	bool "Support Machine Check functionality"
+	bool "Support machine-check functionality"
 	default n
 	help 
-	   Provides a virtualized machine check architecture
+	   Provides a virtualized machine-check architecture
 
+config DEGUB_EXT_MACH_CHECK
+    bool "Debug machine-check functionality"
+    default n
+    depends on EXT_MACH_CHECK
+    help
+        Enable virtual machine-check architecture debugging
 
 config EXT_INSPECTOR
 	bool "VM Inspector"