TS-4800 Watchdog

modulename: ts4800_wdt.ko

configname: CONFIG_TS4800_WATCHDOG

Linux Kernel Configuration
└─>Device Drivers
└─>Watchdog Timer Support
└─>Device Tree and Open Firmware support
└─>TS-4800 Watchdog
In linux kernel since version 4.1 (release Date: 2015-06-21)  
Technologic Systems TS-4800 has watchdog timer implemented in
an external FPGA. Say Y here if you want to support for the
watchdog timer on TS-4800 board.

source code: