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"
help
Enable debugging for the APIC
-
-
config IO_APIC
bool "IOAPIC"
depends on APIC
Enable debugging for the VNET Virtio interface
+
config VNET_NIC
bool "Enable VNET Backend Device"
default n
help
Enable debugging for the VNET NIC Device
+config VNET_GUEST_IFACE
+ bool "Enable VNET guest hypercall interface"
+ default n
+ depends on VNET
+ help
+ Allows the guest to query for info, such as headers, from VNET
+
+config DEBUG_VNET_GUEST_IFACE
+ bool "VNET guest hypercall interface debugging"
+ default n
+ depends on VNET_GUEST_IFACE && DEBUG_ON
+ help
+ Enable debugging for the VNET guest hypercall interface
+
config NE2K
bool "NE2K"
Enable debugging for the PCI front-end device
+config HOST_PCI_SELPRIV
+ bool "Host PCI selective privilege"
+ depends on HOST_PCI
+ depends on EXT_PRIV
+ default n
+ help
+ This device enables selective direct access to hardware for
+ passthrough PCI devices. The privilege extension under
+ GEARS must be enabled for this option. This device
+ is a variant of the "always on" "host_pci" device.
+
+config DEBUG_HOST_PCI_SELPRIV
+ bool "Host PCI Debugging"
+ depends on HOST_PCI_SELPRIV
+ default n
+ help
+ This enables debugging output for the host_pci_selpriv device
+
+
config PIC
bool "8259A PIC"
help
Enables debugging output for the VGA device
+config PARAGRAPH
+ bool "PARAGRAPH paravirtualized graphics card"
+ default n
+ depends GRAPHICS_CONSOLE
+ help
+ Includes a paravirtualized graphics card
+
+config DEBUG_PARAGRAPH
+ bool "DEBUG_PARAGRAPH"
+ default n
+ depends on PARAGRAPH
+ help
+ Enables debugging output for the PARAGRAPH device
+
+
config CGA
bool "CGA"
default n
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