added global module registry

[palacios.git] / Kconfig

diff --git a/Kconfig b/Kconfig
index adf2abf..726a7b6 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -73,13 +73,6 @@ config SHADOW_PAGING_TELEMETRY
        help
          Enable telemetry information for shadow paging 
 
-config SYMBIOTIC_SWAP_TELEMETRY
-       bool "Enable Symbiotic Swap Telemetry"
-       default n
-       depends on TELEMETRY && SYMBIOTIC_SWAP
-       help 
-         Enable the telemetry information for the symbiotic swap subsystem
-
 
 config PASSTHROUGH_VIDEO
        bool "Enable Passthrough Video"
@@ -138,6 +131,14 @@ config SHADOW_PAGING_VTLB
        help 
           Enables Virtual TLB implemenation for shadow paging
 
+
+config DEBUG_SHDW_PG_VTLB
+       bool "Enable VTLB debugging"
+       default n
+       depends on SHADOW_PAGING_VTLB
+       help
+         Enables debugging messages for VTLB implementation
+
 endmenu
 
 
@@ -147,15 +148,45 @@ config SYMBIOTIC
        bool "Enable Symbiotic Functionality"
        default n
        help 
-         Enable Symbiotic components of the VMM
-
+         Enable Symbiotic components of the VMM. 
+         This includes the SymSpy interface.
 
-config SYMBIOTIC_SWAP
-       bool "Symbiotic Swap"
+config SYMCALL
+       bool "Symbiotic upcalls"
        default n
        depends on SYMBIOTIC && EXPERIMENTAL
+       help
+         Enables the Symbiotic upcall interface
+
+config SWAPBYPASS
+       bool "SwapBypass"
+       default n
+       depends on SYMBIOTIC && SYMCALL && EXPERIMENTAL
        help 
-         This enables the symbiotic swap architecture
+         This enables the SwapBypass architecture
+
+config SWAPBYPASS_TELEMETRY
+       bool "Enable SwapBypass Telemetry"
+       default n
+       depends on TELEMETRY && SWAPBYPASS
+       help 
+         Enable the telemetry information for the SwapBypass subsystem
+
+menuconfig SYMMOD 
+       bool "Symbiotic Modules"
+       default n
+       depends on EXPERIMENTAL
+#      depends on SYMBIOTIC
+       help
+         Enable Symbiotic module loading
+
+if SYMMOD
+
+source "modules/Kconfig"
+
+endif
+
+
 
 endmenu