4 - information on the HP iLO2 NMI watchdog
6 - documentation for Berkshire Products PC Watchdog ISA cards.
8 - directory holding watchdog related example programs.
10 - description of the Linux Watchdog driver API.
11 watchdog-kernel-api.txt
12 - description of the Linux WatchDog Timer Driver Core kernel API.
13 watchdog-parameters.txt
14 - information on driver parameters (for drivers other than
15 the ones that have driver-specific files here)
17 - description of the Watchdog Timer Interfaces for Linux.