X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=Kconfig;h=9597a1ae993d6bb750466a4d59eb2b9d9c971055;hp=a31a781fb7b54662221383d8fc8cfe996c809903;hb=3c073d909a9307685307ec597800fad9cca483cc;hpb=2b21111e5aec30a54f47383a11b179b0bd226463 diff --git a/Kconfig b/Kconfig index a31a781..9597a1a 100644 --- a/Kconfig +++ b/Kconfig @@ -2,6 +2,7 @@ mainmenu "Palacios VMM Configuration" menu "Target Configuration" + config CRAY_XT bool "Red Storm (Cray XT3/XT4)" help @@ -20,6 +21,23 @@ config VMX 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 @@ -28,14 +46,40 @@ config SOCKET -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" @@ -243,7 +287,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