kernelconfig_penguin
selects
CONFIG_IRQ_DOMAIN_HIERARCHY
CONFIG_GENERIC_IRQ_MULTI_HANDLER
CONFIG_GENERIC_IRQ_EFFECTIVE_AFF_MASK

CONFIG_ARM_GIC (not configurable)

modulename: irq-gic.ko
configname: CONFIG_ARM_GIC

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


source code:


drivers/irqchip/