-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"
--------
This is much heavier weight than profiling
+config EXPERIMENTAL
+ bool "Enable Experimental options"
+ default n
+ help
+ This allows the selection of experimental features. This includes incomplete or unreviewed code.
+ Only enable this feature if you are working on the features in question.
+ IMPORTANT: Non-experimental code MUST NOT use, require, or rely on experimental features.
+ Any code that violates this will be immediately deleted without warning.
+ --
+ The purpose of this option is to allow features under development to be committed to the mainline
+ to more easily track changes and provide access to multiple developers
config BUILT_IN_STDLIB
bool "Enable Built in versions of stdlib functions"
config SYMBIOTIC_SWAP
bool "Symbiotic Swap"
default n
- depends on SYMBIOTIC
+ depends on SYMBIOTIC && EXPERIMENTAL
help
This enables the symbiotic swap architecture