X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=Kconfig;fp=Kconfig;h=a36c46bb7f0304cd2878736b7956a6498220b5eb;hp=29926b0b3f1e85525d627362e12d93f1c941769f;hb=de6084de2145f3889a16d8498e5e7d44e96e0162;hpb=87b1679efe8bee960b65cfd730188ccc94966b71

diff --git a/Kconfig b/Kconfig
index 29926b0..a36c46b 100644
--- a/Kconfig
+++ b/Kconfig
@@ -3,6 +3,13 @@ mainmenu "Palacios VMM Configuration"
 menu "Target Configuration"
 
 
+config KITTEN
+	bool "Set defaults needed for the Kitten OS"
+	default y
+	help
+	  This enables the necesary options to compile Palacios with Kitten
+
+
 config CRAY_XT
         bool "Red Storm (Cray XT3/XT4)"
         help
@@ -38,6 +45,15 @@ config MAX_CPUS
 	  For uniprocessor environments, set this to 1
 
 
+config CONSOLE
+	bool "Include Console Support"
+	default n
+	help 
+	  Enable console support in Palacios
+
+
+
+
 config SOCKET
 	bool "Include Network Socket Support"
 	default n
@@ -117,7 +133,7 @@ config DEBUG_VNET
 
 config BUILT_IN_STDLIB
 	bool "Enable Built in versions of stdlib functions"
-	default y
+	default y if KITTEN
 	help 
 	  Not all host OSes provide link targets for stdlib functions
 	  Palacios provides internal implementations of these functions, that you can select from this list
@@ -176,7 +192,7 @@ config BUILT_IN_STRCMP
 
 config BUILT_IN_STRCASECMP
 	bool "strcasecmp()"
-	default y
+	default y if KITTEN
 	depends on BUILT_IN_STDLIB
 	help
 	  This enables Palacios' internal implementation of strcasecmp
@@ -241,7 +257,7 @@ config BUILT_IN_STRSTR
 
 config BUILT_IN_ATOI
 	bool "atoi()"
-	default y
+	default y if KITTEN
 	depends on BUILT_IN_STDLIB
 	help 
 	  This enables Palacios' internal implementation of atoi