X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=Kconfig;h=9597a1ae993d6bb750466a4d59eb2b9d9c971055;hp=0b556618178b3280235fc3a73b466e6cf15ebb2c;hb=2bc23d57beaa42446ee7db3f0c7052086f88b0c5;hpb=b54cbe1dbbe15ed228de7472ea284df96ecce909

diff --git a/Kconfig b/Kconfig
index 0b55661..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
 	  -----