X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=b7fc9a02ef2cd526a70147d681d324767f434f0f;hb=33bf43b34feba36dcbfa47f8f559e5862f531393;hp=9a7f7e7f98946abf4b68a8ffb65df5e5c75d0f9f;hpb=6ee36e0a7e4585bd0e4235eeb60644fffe230af3;p=palacios.git

diff --git a/Kconfig b/Kconfig
index 9a7f7e7..b7fc9a0 100644
--- a/Kconfig
+++ b/Kconfig
@@ -13,7 +13,6 @@ config KITTEN
 	select BUILT_IN_STRCASECMP
 	select BUILT_IN_ATOI
 	select ALIGNED_PG_ALLOC
-	select MULTITHREAD_OS
 	help
 	  This enables the necesary options to compile Palacios with Kitten
 
@@ -108,13 +107,6 @@ endchoice
 
 menu "Supported host OS features"
       
-config MULTITHREAD_OS
-	bool "Host support for  multiple threads"
-	default y
-	help 
-	  Select this if your OS supports multiple threads of execution. This will enable features in Palacios 
-	  to require the creation of additional execution threads.
-
 
 config ALIGNED_PG_ALLOC
 	bool "Host support for aligned page allocations"