kernel/kernel/irq/Kconfig
.. .. @@ -142,6 +142,19 @@ 142 142 143 143 If you don't know what to do here, say N. 144 144 145 +# Interrupt pipeline146 +config HAVE_IRQ_PIPELINE147 + bool148 +149 +config IRQ_PIPELINE150 + bool "Interrupt pipeline"151 + depends on HAVE_IRQ_PIPELINE152 + select IRQ_DOMAIN153 + default n154 + help155 + Activate this option if you want the interrupt pipeline to be156 + compiled in.157 +145 158 endmenu 146 159 147 160 config GENERIC_IRQ_MULTI_HANDLER