6572708d39
We used to have the configuration of the kernel available in a somewhat convenient place (/run/booted-system/kernel-modules/config) but that has disappeared. So instead just make /proc/configs.gz available. It only eats a few kilobytes.
*** NixOS *** NixOS is a Linux distribution based on the purely functional package management system Nix. More information can be found at http://nixos.org/nixos and in the manual in doc/manual.