Tagging module linux-2.6 - linux-2.6-22-14
[linux-2.6.git] / planetlab-2.6.22-i586.config
index 09e4254..d51d910 100644 (file)
@@ -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