From 68ce9e91e12914f34e55ef16d8f4b6fbcdd9e92a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B8rn=20Forsman?= <bjorn.forsman@gmail.com>
Date: Fri, 16 Aug 2013 22:33:54 +0200
Subject: [PATCH] linux: really provide /proc/config.gz

Currently there is no /proc/config.gz, even though the configuration
indicates it. This fixes it.
---
 pkgs/os-specific/linux/kernel/common-config.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/pkgs/os-specific/linux/kernel/common-config.nix b/pkgs/os-specific/linux/kernel/common-config.nix
index d4021e735e6..90210b8d5eb 100644
--- a/pkgs/os-specific/linux/kernel/common-config.nix
+++ b/pkgs/os-specific/linux/kernel/common-config.nix
@@ -24,7 +24,9 @@ with stdenv.lib;
   # Support drivers that need external firmware.
   STANDALONE n
 
-  # Make /proc/config.gz available.
+  # Enable the complete Linux kernel ".config" file to be saved in the kernel.
+  # Also, make it available at runtime as /proc/config.gz.
+  IKCONFIG y
   IKCONFIG_PROC y
 
   # Optimize with -O2, not -Os.