menu "Target Configuration"
+
config CRAY_XT
bool "Red Storm (Cray XT3/XT4)"
help
Compile with support for Intel VMX
+config MULTITHREAD_OS
+ bool "Compile for a multi threaded OS"
+ default y
+ help
+ This allows Palacios to use OS thread mechanisms
+
+
+config MAX_CPUS
+ int "Maximum number of cpus"
+ range 1 255
+ default "16"
+ help
+ Specifies the maximum number of hardware cpus Palacios can support
+
+ For uniprocessor environments, set this to 1
+
+
config SOCKET
bool "Include Network Socket Support"
default y
-config PROFILE_VMM
- bool "Enable VMM profiling support"
- default y
+
+config TELEMETRY
+ bool "Enable VMM telemetry support"
+ default n
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"
config SYMBIOTIC_SWAP
bool "Symbiotic Swap"
default n
- depends on SYMBIOTIC
+ depends on SYMBIOTIC && EXPERIMENTAL
help
This enables the symbiotic swap architecture