ported machine check to extension

[palacios.git] / palacios / src / devices / Kconfig

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index d49bb9e..575223b 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       
@@ -458,13 +458,5 @@ 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