kernelconfig_penguin
selects
CONFIG_IRQ_DOMAIN
CONFIG_GENERIC_IRQ_CHIP

is depended by
CONFIG_ARCH_TANGO

CONFIG_TANGO_IRQ (not configurable)

modulename: irq-tango.ko
configname: CONFIG_TANGO_IRQ

Linux Kernel Configuration
└─> Device Drivers
└─> IRQ chip support
└─> TANGO_IRQ


source code:


drivers/irqchip/irq-tango.c