Fix interrupt injection bug due to caching irq vectors after vector mappings have...

[palacios.git] / Kconfig

diff --git a/Kconfig b/Kconfig
index c6446e5..3c9ccf7 100644 (file)
--- 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"
@@ -102,15 +109,22 @@ 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"
-       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