X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=Kconfig;h=9597a1ae993d6bb750466a4d59eb2b9d9c971055;hp=d6829206b5995e45e1874f77cb277de5b49e6305;hb=3c073d909a9307685307ec597800fad9cca483cc;hpb=f3eb8bbb7c58c98b03797f2188e6c1d2a7610c15 diff --git a/Kconfig b/Kconfig index d682920..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,9 +46,10 @@ config SOCKET + config TELEMETRY bool "Enable VMM telemetry support" - default y + default n help Enable the telemetry framework in Palacios ----- @@ -55,6 +74,12 @@ config SYMBIOTIC_SWAP_TELEMETRY 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"