From: Jack Lange <jarusl@cs.northwestern.edu>
Date: Thu, 13 May 2010 20:10:38 +0000 (-0500)
Subject: fixed host OS selection options
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=f79a89fe37f4b8fc0510e0aa03a0dc2e3d15f01c;p=palacios.releases.git

fixed host OS selection options
---

diff --git a/Kconfig b/Kconfig
index 913dd5e..106d8fa 100644
--- a/Kconfig
+++ b/Kconfig
@@ -3,12 +3,29 @@ mainmenu "Palacios VMM Configuration"
 menu "Target Configuration"
 
 
+choice
+	prompt "Target Host OS"
+	default KITTEN
+
 config KITTEN
-	bool "Set defaults needed for the Kitten OS"
-	default y
+	bool "Kitten OS"
+	select BUILT_IN_STDLIB
+	select BUILT_IN_STRCASECMP
+	select BUILT_IN_ATOI
 	help
 	  This enables the necesary options to compile Palacios with Kitten
 
+config MINIX
+	bool "MINIX 3"
+	help
+	  This enables the necesary options to compile Palacios with Kitten
+
+config OTHER_OS
+	bool "Other OS"
+	help 
+	  Choose this to compile Palacios for a Generic Host OS
+
+endchoice
 
 config CRAY_XT
         bool "Red Storm (Cray XT3/XT4)"
diff --git a/Kconfig.stdlibs b/Kconfig.stdlibs
index feb8e2a..15648b6 100644
--- a/Kconfig.stdlibs
+++ b/Kconfig.stdlibs
@@ -2,7 +2,6 @@ menu "Standard library functions"
 
 config BUILT_IN_STDLIB
 	bool "Enable Built in versions of stdlib functions"
-	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
@@ -61,7 +60,6 @@ config BUILT_IN_STRCMP
 
 config BUILT_IN_STRCASECMP
 	bool "strcasecmp()"
-	default y if KITTEN
 	depends on BUILT_IN_STDLIB
 	help
 	  This enables Palacios' internal implementation of strcasecmp
@@ -126,7 +124,6 @@ config BUILT_IN_STRSTR
 
 config BUILT_IN_ATOI
 	bool "atoi()"
-	default y if KITTEN
 	depends on BUILT_IN_STDLIB
 	help 
 	  This enables Palacios' internal implementation of atoi