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.


Updated VGA to support the graphics console host interface
[palacios.git] / palacios / src / devices / Kconfig
index 3758e6d..18f64b9 100644 (file)
@@ -3,7 +3,6 @@ menu "Virtual Devices"
 config APIC
        bool "APIC" 
        default y
-       depends on EXPERIMENTAL
        help 
          Includes the Virtual APIC device
 
@@ -19,7 +18,6 @@ config DEBUG_APIC
 
 config IO_APIC
        bool "IOAPIC"
-       depends on EXPERIMENTAL
        default y
        help 
          Includes the Virtual IO APIC
@@ -174,12 +172,26 @@ config NE2K
        help
          Includes the Virtual NE2K network card
 
-config DEBUG_NE2k
+config DEBUG_NE2K
        bool "NE2K debugging"
-       depends on NE2k && DEBUG_ON
+       default n
+       depends on NE2K && DEBUG_ON
        help 
          Enable debugging for the NE2K
 
+config RTL8139
+        bool "RTL8139"
+        depends on EXPERIMENTAL
+        default n
+        help
+          Includes the Virtual RTL8139 network card
+
+config DEBUG_RTL8139
+        bool "RTL8139 debugging"
+        default n
+        depends on RTL8139 && DEBUG_ON
+        help
+          Enable debugging for the RTL8139
 
 config NIC_BRIDGE
         bool "Enable Direct Bridge to Host network"
@@ -333,6 +345,24 @@ config DISK_MODEL
        help 
          Includes Performance model filter for disk operations
 
+config VGA
+       bool "VGA"
+       default n
+       depends on !PASSTHROUGH_VIDEO && GRAPHICS_CONSOLE
+       help
+         Includes the Virtual VGA video support, and will 
+          eventually also include SVGA
+          Host frame buffer support (GRAPHICS_CONSOLE) is needed
+          for the hostframebuf option to work
+
+
+config DEBUG_VGA
+       bool "DEBUG_VGA"
+       default n
+       depends on VGA
+       help
+         Enables debugging output for the VGA device 
+
 config CGA
        bool "CGA"
        default n
@@ -374,5 +404,13 @@ config CHAR_STREAM
        help
          Include Stream based character device frontend
 
+
+config MCHECK
+       bool "Machine Check architecture"
+       default n
+       depends on EXPERIMENTAL
+       help 
+         Include Machine Check injection architecture
+
 endmenu