Add a Linux kernel suitable for SystemTap.

svn path=/nixpkgs/trunk/; revision=21618

1 files changed, 11 insertions, 4 deletions

diff --git a/pkgs/os-specific/linux/kernel/linux-2.6.32.nix b/pkgs/os-specific/linux/kernel/linux-2.6.32.nix
index 013dc24332c5..3a4ae7feacf1 100644
--- a/pkgs/os-specific/linux/kernel/linux-2.6.32.nix
+++ b/pkgs/os-specific/linux/kernel/linux-2.6.32.nix
@@ -1,11 +1,11 @@
-args @ { stdenv, fetchurl, userModeLinux ? false, extraConfig ? ""
-, ... }:
+args @ { stdenv, fetchurl, userModeLinux ? false, systemtap ? false
+, extraConfig ? "", ... }:
 
 let
   configWithPlatform = kernelPlatform :
     ''
       # Don't include any debug features.
-      DEBUG_KERNEL n
+      DEBUG_KERNEL ${if systemtap then "y" else "n"}
 
       # Support drivers that need external firmware.
       STANDALONE n
@@ -25,7 +25,6 @@ let
 
       # Disable some expensive (?) features.
       FTRACE n
-      KPROBES n
       NUMA? n
       PM_TRACE_RTC n
 
@@ -191,6 +190,14 @@ let
       X86_CHECK_BIOS_CORRUPTION y
       X86_MCE y
 
+      ${if systemtap then ''
+        # SystemTap support.
+        KPROBES y    # kernel probes (needs `utrace' for process probes)
+        DEBUG_INFO y
+        RELAY y
+        DEBUG_FS y
+      '' else ""}
+
       ${if kernelPlatform ? kernelExtraConfig then kernelPlatform.kernelExtraConfig else ""}
       ${extraConfig}
     '';