Changes for software interrupt extension code

[palacios.git] / palacios / src / extensions / Kconfig

diff --git a/palacios/src/extensions/Kconfig b/palacios/src/extensions/Kconfig
index fcdf0a3..7a04e6b 100644 (file)
--- a/palacios/src/extensions/Kconfig
+++ b/palacios/src/extensions/Kconfig
@@ -52,6 +52,14 @@ config EXT_SW_INTERRUPTS
       of software interrupts (i.e. the INTn instruction) and enable
       any INT vector to be hooked
 
+config DEBUG_EXT_SW_INTERRUPTS
+    bool "Enable debugging of software interrupt interception code"
+    depends on EXT_SW_INTERRUPTS
+    default n
+    help
+      This will enable useful debugging printouts for software
+      intercept code
+
 config EXT_SWINTR_PASSTHROUGH
     bool "Hook all unhandled sofware interrupts for passthrough"
     depends on EXT_SW_INTERRUPTS
@@ -85,12 +93,4 @@ config EXT_SYSCALL_PASSTHROUGH
       that are not explicitly hooked to be hooked for 
       passthrough. This is useful for debugging.
 
-config EXT_HIJACK_SYSCALL_MSR
-    bool "Intercept Syscall-related MSR reads & writes"
-    default n
-    help
-      Allow the VMM to intercept reads and writes to MSRs
-      related to SYSCALL and SYSENTER instructions. Specifically,
-      it will intercept R/W to STAR, CSTAR, and LSTAR, and SYSENTER_EIP.
-
 endmenu