From f43033a3f764261781b065283150700ac2943fc3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Llu=C3=ADs=20Batlle=20i=20Rossell?= <viric@viric.name>
Date: Wed, 18 Jul 2012 21:50:18 +0200
Subject: [PATCH] crashdump: it required some kernel options for the
 nmi_watchdog to work.

Now it says at boot, for every core:
NMI watchdog: enabled, takes one hw-pmu counter.
---
 modules/misc/crashdump.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/modules/misc/crashdump.nix b/modules/misc/crashdump.nix
index 973abfd9327..98b2140a23d 100644
--- a/modules/misc/crashdump.nix
+++ b/modules/misc/crashdump.nix
@@ -54,7 +54,7 @@ in
       '';
       kernelParams = [
        "crashkernel=64M"
-       "nmi_watchdog=1"
+       "nmi_watchdog=panic"
       ];
       kernelPackages = mkOverride 50 (crashdump.kernelPackages // {
         kernel = crashdump.kernelPackages.kernel.override 
@@ -64,6 +64,8 @@ in
                 CRASH_DUMP y
                 DEBUG_INFO y
                 PROC_VMCORE y
+                LOCKUP_DETECTOR y
+                HARDLOCKUP_DETECTOR y
               '';
           });
       });