X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=Kconfig;h=024170b5ecf3163eae5acdcc83a38d9992500ea2;hp=0b556618178b3280235fc3a73b466e6cf15ebb2c;hb=068d7e66db537f981fde19a098a12e4390fa3de4;hpb=52e81251f82ccaf516e3ed626c8abbcc9fbe3f41

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