X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2FKconfig;h=d5d8c1d22ccfaded0c58666d07184e9a3b3d0faa;hb=02d617c8f625ad5da6c4c9b78b224e84baac5d08;hp=b4bccb75054db0a1ff7f7a07cae085c93b18620c;hpb=b349b55150ada21d3f973bf9a2571f7fd7312c4f;p=palacios.git diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig index b4bccb7..d5d8c1d 100644 --- a/palacios/src/devices/Kconfig +++ b/palacios/src/devices/Kconfig @@ -3,10 +3,16 @@ menu "Virtual Devices" config APIC bool "APIC" default y - depends on EXPERIMENTAL 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" @@ -15,11 +21,9 @@ config DEBUG_APIC help Enable debugging for the APIC - - config IO_APIC bool "IOAPIC" - depends on EXPERIMENTAL + depends on APIC default y help Includes the Virtual IO APIC @@ -32,6 +36,13 @@ config DEBUG_IO_APIC Enable debugging for the IO APIC +config MPTABLE + bool "MPTABLE" + default y + depends on APIC + help + Includes the MPTABLE to map the APICs and IO-APIC + config BOCHS_DEBUG bool "Bochs Debug Console Device" @@ -45,7 +56,16 @@ config GENERIC bool "Generic Device" default y help - Includes the Virtual Generic device + Includes the virtual generic device. This device allows you + to see guest I/O port and memory region interaction with a physical + device on the underlying hardware, as well as to ignore such + interaction. The generic device also serves as a front-end + device for non-PCI host-based virtual device implementations. If + you want to handle either host-based virtual or physical devices + that are not PCI devices, this is what you want. If you want + to handle a host-based virtual device that is a PCI device, you + want to use the PCI front-end device. If you want to handle + a physical PCI device, you want the passthrough PCI device. config DEBUG_GENERIC bool "Generic device Debugging" @@ -138,10 +158,18 @@ 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 - depends on PCI && EXPERIMENTAL + depends on PCI && VNET help Enable the Virtio Net @@ -152,20 +180,51 @@ config DEBUG_VIRTIO_NET help Enable debugging for the Linux Virtio Network Device + +config LINUX_VIRTIO_VNET + bool "Enable Virtio VNET interface" + default n + depends on PCI && VNET + help + Enable the Virtio VNET interface for Control VM + +config DEBUG_LINUX_VIRTIO_VNET + bool "Virtio VNET Interface Debugging" + default n + depends on LINUX_VIRTIO_VNET && DEBUG_ON + help + Enable debugging for the VNET Virtio interface + + + config VNET_NIC - bool "Enable VNET VIrtio NIC Device" + bool "Enable VNET Backend Device" default n - depends on PCI && EXPERIMENTAL && VNET + depends on PCI && VNET help - Enable the VNET Virtio backend device + Enable the VNET backend device config DEBUG_VNET_NIC - bool "VNET NIC Device Debugging" + bool "VNET Backend Device Debugging" default n depends on VNET_NIC && DEBUG_ON 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" @@ -253,6 +312,7 @@ config PASSTHROUGH_PCI help Enables hardware devices to be passed through to the VM + config DEBUG_PCI bool "PCI debugging" depends on PCI && DEBUG_ON @@ -260,6 +320,45 @@ config DEBUG_PCI Enable debugging for the PCI +config PCI_FRONT + bool "PCI front-end device" + default y + depends on PCI && HOST_DEVICE + help + PCI front-end device for a host-based PCI device implementation + This device allows you to project a host-based *virtual* device + into the guest as a PCI device. If you want to project a + physical PCI device, use Passthrough PCI instead. If you want + to project a non-PCI virtual or physical device, + use the generic device. + + +config DEBUG_PCI_FRONT + bool "PCI front-end debugging" + depends on PCI_FRONT && DEBUG_ON + help + 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" @@ -314,7 +413,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 @@ -347,10 +446,42 @@ config DISK_MODEL help Includes Performance model filter for disk operations +config VGA + bool "VGA" + default n + depends GRAPHICS_CONSOLE + help + Includes the Virtual VGA video support, and will + eventually also include SVGA + Host frame buffer support (GRAPHICS_CONSOLE) is needed + for the hostframebuf option to work + + +config DEBUG_VGA + bool "DEBUG_VGA" + default n + depends on VGA + 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 - depends on !PASSTHROUGH_VIDEO help Includes the Virtual CGA video support @@ -365,14 +496,14 @@ config DEBUG_CGA config TELNET_CONSOLE bool "Telnet Virtual Console" default n - depends on CGA && !PASSTHROUGH_VIDEO + depends on CGA help Includes the virtual telnet console config CURSES_CONSOLE bool "Curses Virtual Console" default n - depends on CGA && !PASSTHROUGH_VIDEO + depends on CGA && CONSOLE help Includes the virtual curses console @@ -382,19 +513,19 @@ 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 default n 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