TS-4800 DIO blocks and compatibles
modulename: gpio-ts4800.ko
configname: CONFIG_GPIO_TS4800
Linux Kernel Configuration
└─>Device Drivers
└─>GPIO Support
└─>Memory mapped GPIO drivers
└─>TS-4800 DIO blocks and compatibles
In linux kernel since version 4.1 (release Date: 2015-06-21)
This driver support TS-4800 FPGA GPIO controllers.