X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=a9cc6acbd9469bf2a1ef722d667dc0812d094fd3;hb=ee1279646a778613b23a42350b903ebb57c068f8;hp=adf2abfc85add4142c258134785d03f1f0da1c19;hpb=926e4e742c02e6f1255c8da243494c8bbddbf752;p=palacios.git

diff --git a/Kconfig b/Kconfig
index adf2abf..a9cc6ac 100644
--- 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
 
 
@@ -150,13 +151,37 @@ config SYMBIOTIC
 	  Enable Symbiotic components of the VMM
 
 
+
+config SYMCALL
+	bool "Symbiotic upcalls"
+	default n
+	depends on SYMBIOTIC && EXPERIMENTAL
+	help
+	  Enables the Symbiotic upcall interface
+
+config SYMMOD
+	bool "Symbiotic Modules"
+	default n
+	depends on SYMBIOTIC && EXPERIMENTAL
+	help
+	  Enable Symbiotic module loading
+
+
 config SYMBIOTIC_SWAP
 	bool "Symbiotic Swap"
 	default n
-	depends on SYMBIOTIC && EXPERIMENTAL
+	depends on SYMBIOTIC && SYMCALL && EXPERIMENTAL
 	help 
 	  This enables the symbiotic swap architecture
 
+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
+
+
 endmenu