X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2FKconfig;h=873792d2befe68d7198e32b39c5a1c385eec67dc;hb=22c7f98617f63f097b08e8159383c23aa6d9ad33;hp=7222c485dcef66154105ffb1a0d9f61af1465e6b;hpb=bc5ee3e07affac4810227d61c407011c05298518;p=palacios.git

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index 7222c48..873792d 100644
--- a/palacios/src/devices/Kconfig
+++ b/palacios/src/devices/Kconfig
@@ -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"
@@ -341,6 +353,13 @@ config CGA
 	  Includes the Virtual CGA video support
 
 
+config DEBUG_CGA
+	int "DEBUG_CGA"
+	default 0
+	depends on CGA
+	help
+	  Enables Debugging for the CGA device (2 = Verbose, 1 = Debug, 0 = Off)
+
 config TELNET_CONSOLE
 	bool "Telnet Virtual Console"
 	default n
@@ -367,5 +386,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