From: Jack Lange <jacklange@cs.pitt.edu>
Date: Thu, 22 Sep 2011 16:50:54 +0000 (-0400)
Subject: remove old multithread reference
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=33a5c8f83ba79ece7a76cf7c4d53bdeae1e30f07

remove old multithread reference
---

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