X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=024170b5ecf3163eae5acdcc83a38d9992500ea2;hb=068d7e66db537f981fde19a098a12e4390fa3de4;hp=d6829206b5995e45e1874f77cb277de5b49e6305;hpb=f3eb8bbb7c58c98b03797f2188e6c1d2a7610c15;p=palacios.releases.git diff --git a/Kconfig b/Kconfig index d682920..024170b 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,6 +46,7 @@ config SOCKET + config TELEMETRY bool "Enable VMM telemetry support" default y @@ -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"