added wp flag to shadow cr0

[palacios.git] / Kconfig

diff --git a/Kconfig b/Kconfig
index a31a781..0b55661 100644 (file)
--- 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"
@@ -243,7 +268,7 @@ config SYMBIOTIC
 config SYMBIOTIC_SWAP
        bool "Symbiotic Swap"
        default n
-       depends on SYMBIOTIC
+       depends on SYMBIOTIC && EXPERIMENTAL
        help 
          This enables the symbiotic swap architecture