X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=Kconfig;h=3c9ccf70625d613f8911212815fec692ae8cc82b;hp=4f43d7db3abb7938c7389382750dcb4c01a01485;hb=888c2dd8a3914f9a08e2b0e006ff96c5cc5cd792;hpb=3373500a962dba67f09d120d7db3c2ea1d4beee2

diff --git a/Kconfig b/Kconfig
index 4f43d7d..3c9ccf7 100644
--- a/Kconfig
+++ b/Kconfig
@@ -3,6 +3,13 @@ mainmenu "Palacios VMM Configuration"
 menu "Target Configuration"
 
 
+config KITTEN
+	bool "Set defaults needed for the Kitten OS"
+	default y
+	help
+	  This enables the necesary options to compile Palacios with Kitten
+
+
 config CRAY_XT
         bool "Red Storm (Cray XT3/XT4)"
         help
@@ -40,7 +47,7 @@ config MAX_CPUS
 
 config SOCKET
 	bool "Include Network Socket Support"
-	default y
+	default n
 	help 
 	  Enable networking support in Palacios
 
@@ -49,7 +56,7 @@ config SOCKET
 
 config TELEMETRY
 	bool "Enable VMM telemetry support"
-	default n
+	default y
 	help 
 	  Enable the telemetry framework in Palacios
 	  -----
@@ -76,10 +83,10 @@ config SYMBIOTIC_SWAP_TELEMETRY
 
 config PASSTHROUGH_VIDEO
 	bool "Enable Passthrough Video"
-	default y
+	default n
 	help 
 	  Configures Palacios to map a guest's framebuffer directly 
-	  to the hardware framebuffer
+	  to the hardware framebuffer (no longer needed)
 
 config INSTRUMENT_VMM
 	bool "Enable VMM instrumentation"
@@ -108,9 +115,16 @@ config VNET
         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"
-	default n
+	default y if KITTEN
 	help 
 	  Not all host OSes provide link targets for stdlib functions
 	  Palacios provides internal implementations of these functions, that you can select from this list
@@ -169,7 +183,7 @@ config BUILT_IN_STRCMP
 
 config BUILT_IN_STRCASECMP
 	bool "strcasecmp()"
-	default n
+	default y if KITTEN
 	depends on BUILT_IN_STDLIB
 	help
 	  This enables Palacios' internal implementation of strcasecmp
@@ -234,7 +248,7 @@ config BUILT_IN_STRSTR
 
 config BUILT_IN_ATOI
 	bool "atoi()"
-	default n
+	default y if KITTEN
 	depends on BUILT_IN_STDLIB
 	help 
 	  This enables Palacios' internal implementation of atoi