CONFIG_GIC_NON_BANKED (not configurable)

configname: CONFIG_GIC_NON_BANKED

Linux Kernel Configuration
└─>Device Drivers
└─>GIC_NON_BANKED
In linux kernel since version 3.1 (release Date: 2011-10-24)  
is depended by
CONFIG_ARCH_EXYNOS4