X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2FKconfig;h=e9b2dc8a1450efc2f0413222ad8b799dee443a77;hb=e9fc46a873dfb004c61cb1f245420e7ebcfad575;hp=81e1739ba5a6a5e2a06ed7a5c0ed85159f96707f;hpb=349974e77efb6976541a73f5f849fd9bf1da2406;p=palacios-OLD.git diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig index 81e1739..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 @@ -366,7 +379,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 @@ -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 @@ -458,13 +478,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