Hi Eelco, > On Jan 6, 2014, at 6:21, Eelco Dolstra <[email protected]> wrote: > > Hi, > >> On 05/01/14 13:49, Shea Levy wrote: >> >> As of >> https://github.com/NixOS/nixpkgs/commit/139f8949e6a5898aa8f245b49c18a6c523dce24e, >> >> the generic kernel build now uses the manual config kernel builder under >> the hood. > > Cool. Some comments: > > - The function "linuxManualConfig" seems a misnomer since there is nothing > "manual" about it. >
Yeah, we should just rename it to buildLinux or similar. > - Apparently kmod supports loading of compressed kernel modules. So it might > be > nice to get a further size reduction by compressing them during installation. > Sure, I can look into that. > - The kernel config of the current system used to be available in > /run/booted-system/kernel-modules/config, which no longer seems to be the > case. > But maybe we can just use the "configs" kernel module instead. > Either that or of course we can just copy it there. But configs seems like a good solution to me. > -- > Eelco Dolstra | LogicBlox, Inc. | http://nixos.org/~eelco/ > _______________________________________________ > nix-dev mailing list > [email protected] > http://lists.science.uu.nl/mailman/listinfo/nix-dev _______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
