Microchip PIC32 Deadman Timer

modulename: pic32-dmt.ko

configname: CONFIG_PIC32_DMT

Linux Kernel Configuration
└─>Device Drivers
└─>Watchdog Timer Support
└─>Microchip PIC32 Deadman Timer
In linux kernel since version 4.1 (release Date: 2015-06-21)  
Watchdog driver for PIC32 instruction fetch counting timer. This specific
timer is typically be used in misson critical and safety critical
applications, where any single failure of the software functionality
and sequencing must be detected.

To compile this driver as a loadable module, choose M here.
The module will be called pic32-dmt.

source code:

depends
CONFIG_WATCHDOG
CONFIG_MACH_PIC32 or CONFIG_COMPILE_TEST
CONFIG_MIPS