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.


reorganized swapbypass to isolate it to a special shadow paging implementation, and...
[palacios.git] / Kconfig
diff --git a/Kconfig b/Kconfig
index a9cc6ac..337f590 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -167,19 +167,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