kernelconfig_penguin

CONFIG_ARM_GIC (not configurable)

modulename: irq-gic.ko
configname: CONFIG_ARM_GIC

Linux Kernel Configuration
└─> Device Drivers
└─> ARM_GIC


source code:


drivers/irqchip/