Minor fix

[palacios.git] / Kconfig.stdlibs

diff --git a/Kconfig.stdlibs b/Kconfig.stdlibs
index 15648b6..5c0c053 100644 (file)
--- 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