Re: [Nix-dev] More fine-grained kernel configs?

2016-10-23 Thread Christian Theune
Hi, Ah, great, thanks. I didn’t notice that. Seems like we’re not the only ones. :) I’ll go through what’s there when I have a little time and try to add input from our experience there. Christian > On 23 Oct 2016, at 13:38, Domen Kožar wrote: > > CoCoPumpkin has an PR open

Re: [Nix-dev] More fine-grained kernel configs?

2016-10-23 Thread Domen Kožar
CoCoPumpkin has an PR open for an attempt here: https://github.com/NixOS/nixpkgs/pull/12158/files I think it's worthwhile to have kernel config defined in Nix so we can use the overriding machinery. It would be good to comment on that issue with your observations to advance on that front :) On

[Nix-dev] More fine-grained kernel configs?

2016-10-23 Thread Christian Theune
Hi, I’ve been doing a bit of kernel upgrade/configuration tuning for our platform and I noticed that currently kernel configs in NixOS are very simple string concatenations that are passed to the kernel package. At the Flying Circus we’ve been using a more structured approach of modularising