minor changes to organization

[palacios-OLD.git] / Kconfig

diff --git a/Kconfig b/Kconfig
index ffe5e0c..acf7ebf 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -163,6 +163,15 @@ config EXPERIMENTAL
          The purpose of this option is to allow features under development to be committed to the mainline
          to more easily track changes and provide access to multiple developers
 
+
+config INSPECTOR
+       bool "Enable VM inspection"
+       depends on EXPERIMENTAL
+       default n
+       help 
+         Enable inspection framework for vm internal state
+
+
 endmenu
 
 
@@ -284,6 +293,14 @@ config VNET
         help
           Enable the Vnet in Palacios
 
+config DEBUG_VNET
+        depends on VNET
+        bool "Enable Vnet Debug in Palacios"
+        default n
+        help
+          Enable the Vnet debug in Palacios
+
+
 endmenu
 
 menu "Debug configuration"
@@ -394,12 +411,15 @@ config DEBUG_DEV_MGR
        help 
          This turns on debugging for the device manager
 
-config DEBUG_VNET
-        depends on EXPERIMENTAL && VNET
-        bool "Enable Vnet Debug in Palacios"
+
+config DEBUG_SYSCALL_HIJACK
+        bool "Enable Syscall Hijack Debug in Palacios"
         default n
+        depends on DEBUG_ON && SYSCALL_HIJACK
         help
-          Enable the Vnet debug in Palacios
+          Enable Debugging printouts for syscall hijacking
+          code in Palacios
+
 
 endmenu