X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=planetlab-2.6.22-x86_64.config;h=c71da4b6abd302c2d967251eb8c8240f862c096d;hb=refs%2Fheads%2Flibertas;hp=d7324dc1a514dc199cc2bf08d991bbecbbd87c80;hpb=06c1f2d2262faca2b03753f948dad040aa4cd58a;p=linux-2.6.git

diff --git a/planetlab-2.6.22-x86_64.config b/planetlab-2.6.22-x86_64.config
index d7324dc1a..c71da4b6a 100644
--- 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