CONFIG_ARM_GIC (not configurable)

modulename: irq-gic.ko

configname: CONFIG_ARM_GIC

Linux Kernel Configuration
└─>Device Drivers
└─>ARM_GIC
In linux kernel since version 2.6.14 (release Date: 2005-10-27)  
source code:
drivers/irqchip/
selects
CONFIG_IRQ_DOMAIN
CONFIG_IRQ_DOMAIN_HIERARCHY
CONFIG_MULTI_IRQ_HANDLER