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