diff options
-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 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. |