X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=Kconfig;h=4f43d7db3abb7938c7389382750dcb4c01a01485;hp=1b7c7b75dfba27c11e67627f541aae48673a1399;hb=bbb2c127976c9cbb64af9e753a70f1bdc6310704;hpb=d9557a9bea506fd8b40acd7a44a16b46e2a97848

diff --git a/Kconfig b/Kconfig
index 1b7c7b7..4f43d7d 100644
--- a/Kconfig
+++ b/Kconfig
@@ -102,11 +102,11 @@ config EXPERIMENTAL
 	  to more easily track changes and provide access to multiple developers
 
 config VNET
-	depends on EXPERIMENTAL
-	bool "Enable Vnet in Palacios"
-	default n
-	help
-	  Enable the Vnet in Palacios
+        depends on EXPERIMENTAL
+        bool "Enable Vnet in Palacios"
+        default n
+        help
+          Enable the Vnet in Palacios
 
 config BUILT_IN_STDLIB
 	bool "Enable Built in versions of stdlib functions"
@@ -166,6 +166,14 @@ config BUILT_IN_STRCMP
 	help 
 	  This enables Palacios' internal implementation of strcmp
 
+
+config BUILT_IN_STRCASECMP
+	bool "strcasecmp()"
+	default n
+	depends on BUILT_IN_STDLIB
+	help
+	  This enables Palacios' internal implementation of strcasecmp
+
 config BUILT_IN_STRNCMP
 	bool "strncmp()"
 	default n
@@ -173,6 +181,14 @@ config BUILT_IN_STRNCMP
 	help 
 	  This enables Palacios' internal implementation of strncmp
 
+config BUILT_IN_STRNCASECMP
+	bool "strncasecmp()"
+	default n
+	depends on BUILT_IN_STDLIB
+	help
+	  This enables Palacios' internal implementation of strncasecmp
+
+
 config BUILT_IN_STRCAT
 	bool "strcat()"
 	default n