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