X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2FKconfig;h=a5847ef009b23c2c54d802e53cb4b6ad7a916dcf;hb=e4bc6022970d0f8252e1f2ac512f7d977b40e51b;hp=262dbed766ded69d3184927b6f26fc342a95ff5e;hpb=fa3ef2ff5003b7cd27bfe11e970760c940525966;p=palacios.git diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig index 262dbed..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 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 -