X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2FKconfig;h=e9b2dc8a1450efc2f0413222ad8b799dee443a77;hb=8a3dbb70c29175bad79764a0b2f3961b98138bb2;hp=575223b0cb4b58ce870a1a0990c8edabbea66140;hpb=ead9425b90a4adf9e7dc9b97086796b9323d6d42;p=palacios.git

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index 575223b..e9b2dc8 100644
--- a/palacios/src/devices/Kconfig
+++ b/palacios/src/devices/Kconfig
@@ -6,6 +6,13 @@ config APIC
 	help 
 	  Includes the Virtual APIC device
 
+config APIC_ENQUEUE_MISSED_TMR_IRQS
+	bool "Enqueue missed APIC timer interrpts"
+	default n
+	depends on APIC
+	help
+	  Make up missed APIC periodic timer interrupts on later 
+	  exits into the virtual machine
 
 config DEBUG_APIC
 	bool "APIC Debugging"
@@ -14,8 +21,6 @@ config DEBUG_APIC
 	help 
 	  Enable debugging for the APIC
 
-
-
 config IO_APIC
 	bool "IOAPIC"
 	depends on APIC
@@ -153,6 +158,14 @@ config DEBUG_VIRTIO_SYM
 	help 
 	  Enable debugging for the Linux Virtio Symbiotic Device
 
+config LINUX_VIRTIO_CONSOLE
+        bool "Enable Virtio Console Device"
+        default n
+	depends on PCI
+        help
+          Enable the Virtio Console
+
+
 config LINUX_VIRTIO_NET
         bool "Enable Virtio Network Device"
         default n
@@ -451,6 +464,13 @@ config SERIAL_UART
 	help 
 	  Include virtual serial port
 
+config DEBUG_SERIAL
+        bool "Debug Serial Port"
+        default n
+        depends on SERIAL_UART
+        help
+          Debugging virtual serial port
+
 config CHAR_STREAM
 	bool "Stream based character frontend"
 	depends on STREAM