Microchip PIC32 hardware watchdog

modulename: pic32-wdt.ko

configname: CONFIG_PIC32_WDT

Linux Kernel Configuration
└─>Device Drivers
└─>Watchdog Timer Support
└─>Microchip PIC32 hardware watchdog
In linux kernel since version 4.1 (release Date: 2015-06-21)  
Watchdog driver for the built in watchdog hardware in a PIC32.

Configuration bits must be set appropriately for the watchdog to be
controlled by this driver.

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

source code:

depends
CONFIG_WATCHDOG
CONFIG_MACH_PIC32 or CONFIG_COMPILE_TEST
CONFIG_MIPS