X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=Kconfig;h=d6829206b5995e45e1874f77cb277de5b49e6305;hp=8050708f73296a6ec08c018075efd649524d7420;hb=f3eb8bbb7c58c98b03797f2188e6c1d2a7610c15;hpb=4f0bb09709fcff0e08aef60c1f0253bbef91f608

diff --git a/Kconfig b/Kconfig
index 8050708..d682920 100644
--- a/Kconfig
+++ b/Kconfig
@@ -28,14 +28,33 @@ config SOCKET
 
 
 
-config PROFILE_VMM
-	bool "Enable VMM profiling support"
+config TELEMETRY
+	bool "Enable VMM telemetry support"
 	default y
 	help 
-	  Enable the profiling framework in Palacios
+	  Enable the telemetry framework in Palacios
 	  -----
 	  This is a framwork that allows components of palacios to record 
-	  information that is periodically reported to the log file 
+	  information that is periodically reported to the log output.
+	  Telemetry is automatically collected for vmexits. Subsystem telemetry 
+	  is configured separately
+
+
+config SHADOW_PAGING_TELEMETRY
+	bool "Enable Shadow Paging Telemetry"
+	default y
+	depends on 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 INSTRUMENT_VMM
 	bool "Enable VMM instrumentation"