powerpc: Add kconfig for muxed smp ipi support

[pandora-kernel.git] / arch / powerpc / platforms / Kconfig

diff --git a/arch/powerpc/platforms/Kconfig b/arch/powerpc/platforms/Kconfig
index 6059053..83c704a 100644 (file)
--- a/arch/powerpc/platforms/Kconfig
+++ b/arch/powerpc/platforms/Kconfig
@@ -57,6 +57,14 @@ config UDBG_RTAS_CONSOLE
        depends on PPC_RTAS
        default n
 
+config PPC_SMP_MUXED_IPI
+       bool
+       help
+         Select this opton if your platform supports SMP and your
+         interrupt controller provides less than 4 interrupts to each
+         cpu.  This will enable the generic code to multiplex the 4
+         messages on to one ipi.
+
 config PPC_UDBG_BEAT
        bool "BEAT based debug console"
        depends on PPC_CELLEB