X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=0b556618178b3280235fc3a73b466e6cf15ebb2c;hb=19c179d8c8a23c2612f9c12ec7cbedc299ce80e5;hp=8050708f73296a6ec08c018075efd649524d7420;hpb=7c9087090f06a3fdf041f650912c36b6b12d7a82;p=palacios.git

diff --git a/Kconfig b/Kconfig
index 8050708..0b55661 100644
--- a/Kconfig
+++ b/Kconfig
@@ -28,14 +28,39 @@ 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 PASSTHROUGH_VIDEO
+	bool "Enable Passthrough Video"
+	default y
+	help 
+	  Configures Palacios to map a guest's framebuffer directly 
+	  to the hardware framebuffer
 
 config INSTRUMENT_VMM
 	bool "Enable VMM instrumentation"