x86: don't call '->send_IPI_mask()' with an empty mask
[linux-2.6/mini2440.git] / arch / arm / mach-integrator / Kconfig
blobdf97d16390e3c86ba8084c3c9578ffe7ae40b84d
1 if ARCH_INTEGRATOR
3 menu "Integrator Options"
5 config ARCH_INTEGRATOR_AP
6         bool "Support Integrator/AP and Integrator/PP2 platforms"
7         help
8           Include support for the ARM(R) Integrator/AP and
9           Integrator/PP2 platforms.
11 config ARCH_INTEGRATOR_CP
12         bool "Support Integrator/CP platform"
13         select ARCH_CINTEGRATOR
14         help
15           Include support for the ARM(R) Integrator CP platform.
17 config ARCH_CINTEGRATOR
18         bool
20 config INTEGRATOR_IMPD1
21         tristate "Include support for Integrator/IM-PD1"
22         depends on ARCH_INTEGRATOR_AP
23         help
24           The IM-PD1 is an add-on logic module for the Integrator which
25           allows ARM(R) Ltd PrimeCells to be developed and evaluated.
26           The IM-PD1 can be found on the Integrator/PP2 platform.
28           To compile this driver as a module, choose M here: the
29           module will be called impd1.
31 endmenu
33 endif