X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2FKconfig;h=a5847ef009b23c2c54d802e53cb4b6ad7a916dcf;hb=6911d27947e37b0f7e066f0aef3e9cc5d5bf0722;hp=dbce08b3fade659af0527b3d23a91366521ef800;hpb=0121a4503305424096e2b5c5bd3b6c3af2d813e5;p=palacios.git diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig index dbce08b..a5847ef 100644 --- a/palacios/src/devices/Kconfig +++ b/palacios/src/devices/Kconfig @@ -1,8 +1,9 @@ menu "Virtual Devices" config APIC - bool "APIC" + bool "APIC" default y + depends on ICC_BUS help Includes the Virtual APIC device @@ -15,6 +16,29 @@ config DEBUG_APIC Enable debugging for the APIC + +config IO_APIC + bool "IOAPIC" + depends on ICC_BUS + default y + help + Includes the Virtual IO APIC + +config DEBUG_IO_APIC + bool "IO APIC Debugging" + default n + depends on IO_APIC && DEBUG_ON + help + Enable debugging for the IO APIC + + +config ICC_BUS + bool "ICC BUS" + default y + help + The ICC Bus for APIC/IOAPIC communication + + config BOCHS_DEBUG bool "Bochs Debug Console Device" default y @@ -60,20 +84,6 @@ config DEBUG_IDE Enable debugging for the IDE Layer -config IO_APIC - bool "IOAPIC" - depends on APIC - default y - help - Includes the Virtual IO APIC - -config DEBUG_IO_APIC - bool "IO APIC Debugging" - default n - depends on IO_APIC && DEBUG_ON - help - Enable debugging for the IO APIC - @@ -203,7 +213,7 @@ config PCI config PASSTHROUGH_PCI bool "Passthrough PCI" default y - depends on PCI && EXPERIMENTAL + depends on PCI && EXPERIMENTAL && SYMBIOTIC help Enables hardware devices to be passed through to the VM