From: Jack Lange <jarusl@cs.northwestern.edu>
Date: Sun, 31 Jan 2010 00:09:05 +0000 (-0600)
Subject: KBuild fixes to set defaults for Kitten
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=b6009b57bf04b714693cd2f0c5e1b4dd59281253;p=palacios.git

KBuild fixes to set defaults for Kitten
---

diff --git a/Kconfig b/Kconfig
index 4f43d7d..b9a53a2 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
@@ -110,7 +117,7 @@ config VNET
 
 config BUILT_IN_STDLIB
 	bool "Enable Built in versions of stdlib functions"
-	default n
+	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
@@ -169,7 +176,7 @@ config BUILT_IN_STRCMP
 
 config BUILT_IN_STRCASECMP
 	bool "strcasecmp()"
-	default n
+	default y if KITTEN
 	depends on BUILT_IN_STDLIB
 	help
 	  This enables Palacios' internal implementation of strcasecmp
@@ -234,7 +241,7 @@ config BUILT_IN_STRSTR
 
 config BUILT_IN_ATOI
 	bool "atoi()"
-	default n
+	default y if KITTEN
 	depends on BUILT_IN_STDLIB
 	help 
 	  This enables Palacios' internal implementation of atoi