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 / blobdiff
? search: re
summary | shortlog | log | commit | commitdiff | tree
raw
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
[palacios.git] / palacios / src / devices / Kconfig
diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index d49bb9e..d3a41f1 100644 (file)
--- a/palacios/src/devices/Kconfig
+++ b/palacios/src/devices/Kconfig
@@ -156,7 +156,7 @@ config DEBUG_VIRTIO_SYM
 config LINUX_VIRTIO_NET
         bool "Enable Virtio Network Device"
         default n
-       depends on PCI
+       depends on PCI && VNET
         help
           Enable the Virtio Net
 
@@ -366,7 +366,7 @@ config RAMDISK
          Includes the RAM based disk backend
 
 config DEBUG_RAMDISK
-       bool "RAMDISK baskend debugging"
+       bool "RAMDISK backend debugging"
        depends on RAMDISK && DEBUG_ON
        help 
          Enable debugging for the ram based disk backend       
Public Palacios Development Repository for the V3VEE Project