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

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