Checking in a patch that I believe fixes the kernel crash caused by the

[linux-2.6.git] / planetlab-2.6.27-x86_64.config

diff --git a/planetlab-2.6.27-x86_64.config b/planetlab-2.6.27-x86_64.config
index d95f73c..0cba632 100644 (file)
--- a/planetlab-2.6.27-x86_64.config
+++ b/planetlab-2.6.27-x86_64.config
@@ -1378,7 +1378,7 @@ CONFIG_N_HDLC=m
 # CONFIG_SX is not set
 # CONFIG_RIO is not set
 # CONFIG_STALDRV is not set
-# CONFIG_NOZOMI is not set
+CONFIG_NOZOMI=m
 
 #
 # Serial drivers
@@ -1430,7 +1430,7 @@ CONFIG_PC8736x_GPIO=m
 CONFIG_NSC_GPIO=m
 # CONFIG_RAW_DRIVER is not set
 # CONFIG_HPET is not set
-CONFIG_HANGCHECK_TIMER=y
+CONFIG_HANGCHECK_TIMER=m
 CONFIG_TCG_TPM=m
 CONFIG_TCG_TIS=m
 CONFIG_TCG_NSC=m