NixOS/nixpkgs — pull request #3637 by nathanielbaxter (2014-08-17 06:22:57+00:00)
Title: nixos manual: Fix instruction for getting booted kernel confix

Nixos hasn't had a /run/booted-system/kernel-modules/config file since f95d214cfdf115b9444acc5ce8060a5b1b23ed77, and CONFIG_IKCONFIG_PROC is set for nix kernels, so replaced the manual reference with a reference to /proc/config.gz