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.

projects / palacios.git / commitdiff
? search: re
summary | shortlog | log | commit | commitdiff | tree
raw (parent: d65fea3)
removed PASSTHROUGH_VIDEO option
Jack Lange [Mon, 22 Feb 2010 23:52:33 +0000 (17:52 -0600)]
Kconfig patch | blob | history

diff --git a/Kconfig b/Kconfig
index 1ae4408..8a7f97c 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -74,13 +74,6 @@ config SHADOW_PAGING_TELEMETRY
          Enable telemetry information for shadow paging 
 
 
-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"
        default n
Public Palacios Development Repository for the V3VEE Project