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.


added vnet dependency
[palacios.git] / palacios / src / devices / Kconfig
index 456d717..ec2485a 100644 (file)
@@ -155,7 +155,7 @@ config DEBUG_VIRTIO_NET
 config VNET_NIC
         bool "Enable VNET VIrtio NIC Device"
         default n
-       depends on PCI && EXPERIMENTAL
+       depends on PCI && EXPERIMENTAL && VNET
         help
           Enable the VNET Virtio backend device
 
@@ -337,11 +337,11 @@ config SERIAL_UART
        help 
          Include virtual serial port
 
-config STREAM
-       bool "Stream device"
+config CHAR_STREAM
+       bool "Stream based character frontend"
        default n
        help
-         Stream Device
+         Include Stream based character device frontend
 
 endmenu