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.


From 294306ec5026ea691a4f1380598114688b061c99 Mon Sep 17 00:00:00 2001
[palacios.git] / Kconfig
diff --git a/Kconfig b/Kconfig
index d682920..0b55661 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -55,6 +55,12 @@ config SYMBIOTIC_SWAP_TELEMETRY
          Enable the telemetry information for the symbiotic swap subsystem
 
 
+config PASSTHROUGH_VIDEO
+       bool "Enable Passthrough Video"
+       default y
+       help 
+         Configures Palacios to map a guest's framebuffer directly 
+         to the hardware framebuffer
 
 config INSTRUMENT_VMM
        bool "Enable VMM instrumentation"