X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=b7fc9a02ef2cd526a70147d681d324767f434f0f;hb=926fe574cd42bb860c19fd04610451c24b6d42b6;hp=d484470fa2711d6f8f9739381511497caf29c55b;hpb=b1128b2a9d269fefc786c60c26878b372d5e39c1;p=palacios.git

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