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 mission 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