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

diff --git a/Kconfig.stdlibs b/Kconfig.stdlibs
index 15648b6..2d0dfb2 100644
--- a/Kconfig.stdlibs
+++ b/Kconfig.stdlibs
@@ -109,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
@@ -191,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