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.


Add lock to vmm_queue
[palacios.releases.git] / Kconfig
diff --git a/Kconfig b/Kconfig
index a9cc6ac..029cfd1 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -148,7 +148,8 @@ config SYMBIOTIC
        bool "Enable Symbiotic Functionality"
        default n
        help 
-         Enable Symbiotic components of the VMM
+         Enable Symbiotic components of the VMM. 
+         This includes the SymSpy interface.
 
 
 
@@ -167,19 +168,19 @@ config SYMMOD
          Enable Symbiotic module loading
 
 
-config SYMBIOTIC_SWAP
-       bool "Symbiotic Swap"
+config SWAPBYPASS
+       bool "SwapBypass"
        default n
        depends on SYMBIOTIC && SYMCALL && EXPERIMENTAL
        help 
-         This enables the symbiotic swap architecture
+         This enables the SwapBypass architecture
 
-config SYMBIOTIC_SWAP_TELEMETRY
-       bool "Enable Symbiotic Swap Telemetry"
+config SWAPBYPASS_TELEMETRY
+       bool "Enable SwapBypass Telemetry"
        default n
-       depends on TELEMETRY && SYMBIOTIC_SWAP
+       depends on TELEMETRY && SWAPBYPASS
        help 
-         Enable the telemetry information for the symbiotic swap subsystem
+         Enable the telemetry information for the SwapBypass subsystem
 
 
 endmenu