LPC32XX Watchdog

modulename: pnx4008_wdt.ko

configname: CONFIG_PNX4008_WATCHDOG

Linux Kernel Configuration
└─>Device Drivers
└─>Watchdog Timer Support
└─>LPC32XX Watchdog
In linux kernel since version 2.6.20 (release Date: 2007-02-04)  
Say Y here if to include support for the watchdog timer
in the LPC32XX processor.
This driver can be built as a module by choosing M. The module
will be called pnx4008_wdt.

Say N if you are unsure.

source code: