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

diff --git a/Kconfig.stdlibs b/Kconfig.stdlibs
index 15648b6..5c0c053 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
@@ -128,6 +128,12 @@ config BUILT_IN_ATOI
 	help 
 	  This enables Palacios' internal implementation of atoi
 
+config BUILT_IN_ATOX
+	bool "atox()"
+	depends on BUILT_IN_STDLIB
+	help 
+	  This enables Palacios' internal implementation of atox
+
 config BUILT_IN_STRCHR
 	bool "strchr()"
 	default n
@@ -149,6 +155,34 @@ config BUILT_IN_STRPBRK
 	help 
 	  This enables Palacios' internal implementation of strpbrk
 
+config BUILT_IN_STR_TOLOWER
+	bool "str_tolower()"
+	default n
+	depends on BUILT_IN_STDLIB
+	help 
+	  This enables Palacios' internal implementation of str_tolower
+
+config BUILT_IN_STR_TOUPPER
+	bool "str_toupper()"
+	default n
+	depends on BUILT_IN_STDLIB
+	help 
+	  This enables Palacios' internal implementation of str_toupper
+
+config BUILT_IN_STRTOI
+	bool "strtoi()"
+	default n
+	depends on BUILT_IN_STDLIB
+	help 
+	  This enables Palacios' internal implementation of strtoi
+
+config BUILT_IN_STRTOX
+	bool "strtox()"
+	default n
+	depends on BUILT_IN_STDLIB
+	help 
+	  This enables Palacios' internal implementation of strtox
+
 
 config BUILT_IN_STDIO
 	bool "Enable Built in versions of stdio functions"
@@ -191,4 +225,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