1. 44df753 [WATCHDOG] hpwdt: Add NMI priority option by Tom Mingarelli · 16 years ago
  2. 47bece8 [WATCHDOG] hpwdt: Add NMI sourcing by Thomas Mingarelli · 16 years ago