--- linux/drivers/char/wdt.c.irq	Mon Jun 21 13:09:24 1999
+++ linux/drivers/char/wdt.c	Mon Jun 21 13:09:39 1999
@@ -54,7 +54,7 @@ static int wdt_is_open=0;
  */
  
 static int io=0x240;
-static int irq=11;
+static int irq=15;
 
 #define WD_TIMO (100*60)		/* 1 minute */
 
