Watchdog timer support in kdb

["Howell, David P" <david.p.howell@xxxxxxxxx>]

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?

Thanks!   

David Howell