PowerPC Book-E Watchdog Timer

modulename: booke_wdt.ko

configname: CONFIG_BOOKE_WDT

Linux Kernel Configuration
└─>Device Drivers
└─>Watchdog Timer Support
└─>PowerPC Book-E Watchdog Timer
In linux kernel since version 2.6.20 (release Date: 2007-02-04)  
Please see Documentation/watchdog/watchdog-api.txt for
more information.

source code:
drivers/watchdog/booke_wdt.c