From 3027b80f1df952a7d365f7ab7ad7cc483a03a1e7 Mon Sep 17 00:00:00 2001
From: Herwig Hochleitner <herwig@bendlas.net>
Date: Fri, 9 Feb 2018 23:12:46 +0100
Subject: [PATCH] linuxPackages.kernel: add feature.debug flag for enabling
 DEBUG_INFO

---
 pkgs/os-specific/linux/kernel/common-config.nix | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pkgs/os-specific/linux/kernel/common-config.nix b/pkgs/os-specific/linux/kernel/common-config.nix
index fb846f32a5c..c5671c8f9d2 100644
--- a/pkgs/os-specific/linux/kernel/common-config.nix
+++ b/pkgs/os-specific/linux/kernel/common-config.nix
@@ -699,5 +699,9 @@ with stdenv.lib;
     DEBUG_MEMORY_INIT? y
   ''}
 
+  ${optionalString (features.debug or false)  ''
+    DEBUG_INFO y
+  ''}
+
   ${extraConfig}
 ''