X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig.stdlibs;h=4fa33158819b3ac07c51c918b675d7f57f0a1d0d;hb=d3a58bbcc5cc9105e894771b1b2c39f76c86a70e;hp=15648b62de3a43dffae9f0a392373311e96155a5;hpb=f79a89fe37f4b8fc0510e0aa03a0dc2e3d15f01c;p=palacios.git

diff --git a/Kconfig.stdlibs b/Kconfig.stdlibs
index 15648b6..4fa3315 100644
--- a/Kconfig.stdlibs
+++ b/Kconfig.stdlibs
@@ -109,7 +109,6 @@ config BUILT_IN_STRNCPY
 
 config BUILT_IN_STRDUP
 	bool "strdup()"
-	default n
 	depends on BUILT_IN_STDLIB
 	help 
 	  This enables Palacios' internal implementation of strdup
@@ -191,4 +190,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