diff options
author | Bjørn Forsman <bjorn.forsman@gmail.com> | 2013-08-16 22:33:54 +0200 |
---|---|---|
committer | Bjørn Forsman <bjorn.forsman@gmail.com> | 2013-08-16 23:12:07 +0200 |
commit | 68ce9e91e12914f34e55ef16d8f4b6fbcdd9e92a (patch) | |
tree | 5ee5353a23a893edb6f3e17f25ae005bcd9436ba /pkgs | |
parent | a94065196899a1d401c8ef68c571186686cdf553 (diff) |
linux: really provide /proc/config.gz
Currently there is no /proc/config.gz, even though the configuration indicates it. This fixes it.
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/os-specific/linux/kernel/common-config.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/os-specific/linux/kernel/common-config.nix b/pkgs/os-specific/linux/kernel/common-config.nix index d4021e735e6d6..90210b8d5ebbf 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. |