X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=planetlab-2.6.22-x86_64.config;fp=planetlab-2.6.22-x86_64.config;h=c71da4b6abd302c2d967251eb8c8240f862c096d;hb=6ca3f484bde7b47226c7cba77232e8e118c989d3;hp=d7324dc1a514dc199cc2bf08d991bbecbbd87c80;hpb=662550bee395bb5c02b5cb54aaca9b1af5dd54c9;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