Watchdog timer support in kdb

[slurn at verisign.com]

> 
> Hope that this isn't a repeat from the past.
> 
> Looking through the kdb code there is definitely watchdog timer support.
> Does the code support only
> generic IA32 IO_APIC/PerfCounters flavor of watchdog timers or are hardware
> watchdog timer cards
> that generate NMI on expire supported as well?

KDB does not support _programming_ hardware watchdog timer cards, however
KDB does support NMI, no matter how it is delivered.   One can use
the appropriate kdb commands to write to the hardware registers to program
the board, however. 

scott

> 
> Thanks!   
> 
> David Howell
>