Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


added xml parser for configuration
[palacios.git] / Kconfig
diff --git a/Kconfig b/Kconfig
index c2a6762..1b7c7b7 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -130,6 +130,13 @@ config BUILT_IN_MEMCPY
        help 
          This enables Palacios' internal implementation of memcpy
 
+config BUILT_IN_MEMMOVE
+       bool "memmove()"
+       default n
+       depends on BUILT_IN_STDLIB
+       help 
+         This enables Palacios' internal implementation of memmove
+
 config BUILT_IN_MEMCMP
        bool "memcmp()"
        default n
@@ -201,6 +208,13 @@ config BUILT_IN_STRDUP
        help 
          This enables Palacios' internal implementation of strdup
 
+config BUILT_IN_STRSTR
+       bool "strstr()"
+       default n
+       depends on BUILT_IN_STDLIB
+       help
+         This enables Palacios internal implementation of strstr
+
 
 config BUILT_IN_ATOI
        bool "atoi()"