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 TELEMETRY
bool "Enable VMM telemetry support"
- default y
+ default n
help
Enable the telemetry framework in Palacios
-----
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"