linux: really provide /proc/config.gz

Currently there is no /proc/config.gz, even though the configuration indicates it. This fixes it.
2013-08-16 22:33:54 +02:00 · 2013-08-16 22:33:54 +02:00 · 68ce9e91e1
parent a940651968
commit 68ce9e91e1
1 changed files with 3 additions and 1 deletions
--- 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.