CONFIG_ARM_GIC (not configurable)

modulename: irq-gic.ko

configname: CONFIG_ARM_GIC

Linux Kernel Configuration
└─>Device Drivers
└─>IRQ chip support
└─>Device Tree and Open Firmware support
└─>ARM_GIC
In linux kernel since version 2.6.14 (release Date: 2005-10-27)  
source code:
drivers/irqchip/
selects
CONFIG_IRQ_DOMAIN_HIERARCHY
CONFIG_GENERIC_IRQ_EFFECTIVE_AFF_MASK

depends
CONFIG_OF

is selected by
CONFIG_BL_SWITCHER