moved software interrupt injection to core interrupt code

[palacios.git] / Kconfig

diff --git a/Kconfig b/Kconfig
index 71f5f9b..6432790 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -402,6 +402,13 @@ config DEBUG_DEV_MGR
        help 
          This turns on debugging for the device manager
 
+config DEBUG_MEM_ERRORS
+    bool "Verbose memory errors"
+    default n
+    depends on DEBUG_ON
+    help
+      This turns on debugging for memory translations and lookups
+
 endmenu