TS-4800 IRQ controller

modulename: irq-ts4800.ko

configname: CONFIG_TS4800_IRQ

Linux Kernel Configuration
└─>Device Drivers
└─>IRQ chip support
└─>TS-4800 IRQ controller
In linux kernel since version 4.1 (release Date: 2015-06-21)  
Support for the TS-4800 FPGA IRQ controller

source code:
selects
CONFIG_IRQ_DOMAIN

depends
CONFIG_HAS_IOMEM
CONFIG_COMPILE_TEST or CONFIG_SOC_IMX51