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

diff --git a/Kconfig b/Kconfig
index 1b7c7b7..79e6cc1 100644
--- a/Kconfig
+++ b/Kconfig
@@ -102,11 +102,18 @@ 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 DEBUG_VNET
+        depends on VNET
+        bool "Enable Vnet Debug in Palacios"
+        default n
+        help
+          Enable the Vnet Debug in Palacios
 
 config BUILT_IN_STDLIB
 	bool "Enable Built in versions of stdlib functions"
@@ -166,6 +173,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 +188,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