Make hangcheck reboot by default, and build it in to the kernel.

diff --git a/kernel-2.6.spec b/kernel-2.6.spec
index 0713c93..65b8d06 100644 (file)
--- a/kernel-2.6.spec
+++ b/kernel-2.6.spec
@@ -173,6 +173,7 @@ Patch590: linux-2.6-590-chopstix-intern.patch
 Patch620: linux-2.6-620-kdb.patch
 Patch630: linux-2.6-630-sched-fix.patch
 Patch640: linux-2.6-640-netlink-audit-hack.patch
+Patch650: linux-2.6-650-hangcheck-reboot.patch
 
 # See also the file named 'sources' here for the related checksums
 # NOTE. iwlwifi should be in-kernel starting from 2.6.24
@@ -367,6 +368,7 @@ KERNEL_PREVIOUS=vanilla
 %ApplyPatch 620
 %ApplyPatch 630
 %ApplyPatch 640
+%ApplyPatch 650
 
 # NetNS conflict-resolving patch for VINI. Will work with patch vini_pl_patch-1 but may
 # break with later patches.

diff --git a/linux-2.6-650-hangcheck-reboot.patch b/linux-2.6-650-hangcheck-reboot.patch
new file mode 100644 (file)
index 0000000..398465d
--- /dev/null
+++ b/linux-2.6-650-hangcheck-reboot.patch
@@ -0,0 +1,12 @@
+diff -Nurp linux-2.6.22-640/drivers/char/hangcheck-timer.c linux-2.6.22-650/drivers/char/hangcheck-timer.c
+--- linux-2.6.22-640/drivers/char/hangcheck-timer.c    2007-07-08 19:32:17.000000000 -0400
++++ linux-2.6.22-650/drivers/char/hangcheck-timer.c    2008-06-25 14:44:10.000000000 -0400
+@@ -57,7 +57,7 @@
+ 
+ static int hangcheck_tick = DEFAULT_IOFENCE_TICK;
+ static int hangcheck_margin = DEFAULT_IOFENCE_MARGIN;
+-static int hangcheck_reboot;  /* Defaults to not reboot */
++static int hangcheck_reboot = 1;  /* Defaults to reboot */
+ static int hangcheck_dump_tasks;  /* Defaults to not dumping SysRQ T */
+ 
+ /* options - modular */

diff --git a/planetlab-2.6.22-i586.config b/planetlab-2.6.22-i586.config
index 09e4254..d51d910 100644 (file)
--- a/planetlab-2.6.22-i586.config
+++ b/planetlab-2.6.22-i586.config
@@ -1462,7 +1462,7 @@ CONFIG_NSC_GPIO=m
 CONFIG_CS5535_GPIO=m
 # CONFIG_RAW_DRIVER is not set
 # CONFIG_HPET is not set
-CONFIG_HANGCHECK_TIMER=m
+CONFIG_HANGCHECK_TIMER=y
 
 #
 # TPM devices

diff --git a/planetlab-2.6.22-i686.config b/planetlab-2.6.22-i686.config
index d1236c5..e348069 100644 (file)
--- a/planetlab-2.6.22-i686.config
+++ b/planetlab-2.6.22-i686.config
@@ -1468,7 +1468,7 @@ CONFIG_NSC_GPIO=m
 CONFIG_CS5535_GPIO=m
 # CONFIG_RAW_DRIVER is not set
 # CONFIG_HPET is not set
-CONFIG_HANGCHECK_TIMER=m
+CONFIG_HANGCHECK_TIMER=y
 
 #
 # TPM devices

diff --git a/planetlab-2.6.22-x86_64.config b/planetlab-2.6.22-x86_64.config
index d7324dc..c71da4b 100644 (file)
--- a/planetlab-2.6.22-x86_64.config
+++ b/planetlab-2.6.22-x86_64.config
@@ -1313,7 +1313,7 @@ CONFIG_PC8736x_GPIO=m
 CONFIG_NSC_GPIO=m
 # CONFIG_RAW_DRIVER is not set
 # CONFIG_HPET is not set
-CONFIG_HANGCHECK_TIMER=m
+CONFIG_HANGCHECK_TIMER=y
 
 #
 # TPM devices