X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=Kconfig.stdlibs;h=2d0dfb27932927b2d820b9ff3ab45f328141a82c;hp=feb8e2a87b45bf5b5621a15e1e8c4a401352e262;hb=d0aa5bd27c22a33f04f47363910f9773fdeab7eb;hpb=6911d27947e37b0f7e066f0aef3e9cc5d5bf0722

diff --git a/Kconfig.stdlibs b/Kconfig.stdlibs
index feb8e2a..2d0dfb2 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
@@ -111,7 +109,7 @@ config BUILT_IN_STRNCPY
 
 config BUILT_IN_STRDUP
 	bool "strdup()"
-	default n
+	default y
 	depends on BUILT_IN_STDLIB
 	help 
 	  This enables Palacios' internal implementation of strdup
@@ -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
@@ -194,4 +191,63 @@ config BUILT_IN_VSNRPRINTF
 	  This enables Palacios' internal implementation of vsnrprintf
 
 
+config BUILT_IN_USERSPACE_SYMS
+	bool "Enable build in versions of user space symbols needed"
+	default y
+	help 
+	  This enables a set of dummy symbols corresponding to user space. 
+	  This is needed to link user space libraries such as XED.
+
+
+config BUILT_IN_STDIN
+	bool "FILE * stdin;"
+	default y
+	depends on BUILT_IN_USERSPACE_SYMS
+	help 
+	  Includes the stdin file pointer
+
+config BUILT_IN_STDOUT
+	bool "FILE * stdout;"
+	default y
+	depends on BUILT_IN_USERSPACE_SYMS
+	help 
+	  Includes the stdout file pointer
+
+config BUILT_IN_STDERR
+	bool "FILE * stderr;"
+	default y
+	depends on BUILT_IN_USERSPACE_SYMS
+	help 
+	  Includes the stderr file pointer
+
+
+config BUILT_IN_FPRINTF
+	bool "fprintf();"
+	default y
+	depends on BUILT_IN_USERSPACE_SYMS
+	help 
+	  Includes fprintf()
+
+config BUILT_IN_PRINTF
+	bool "printf();"
+	default y
+	depends on BUILT_IN_USERSPACE_SYMS
+	help 
+	  Includes printf();
+
+config BUILT_IN_FFLUSH
+	bool "fflush();"
+	default y
+	depends on BUILT_IN_USERSPACE_SYMS
+	help 
+	  Includes fflush()
+
+config BUILT_IN_ABORT
+	bool "abort();"
+	default y
+	depends on BUILT_IN_USERSPACE_SYMS
+	help 
+	  Includes abort();
+	
+
 endmenu