Re: Linux kernel config maintainablility

2016-09-11 Thread David Craven
Hi Ludo, >> What difficulties did you encounter with using allmodconfig as a basis? > I forgot the details, but maybe the list archive has some info. Changing what already works doesn't make sense. For arm and new platforms I think we can go down the defconf route, since it's really simple now..

Re: Linux kernel config maintainablility

2016-09-11 Thread Ludovic Courtès
Hi David, David Craven skribis: >> I was hoping we could come up with a way to generate a kernel config, >> either based on ‘allmodconfig’ or something like what NixOS does [0], >> but I’ve become pretty convinced that this would be difficult at best. > > What difficulties did you encounter with

Re: Linux kernel config maintainablility

2016-09-05 Thread David Craven
Hi Ludo, > I was hoping we could come up with a way to generate a kernel config, > either based on ‘allmodconfig’ or something like what NixOS does [0], > but I’ve become pretty convinced that this would be difficult at best. What difficulties did you encounter with using allmodconfig as a basis?

Re: Linux kernel config maintainablility

2016-09-05 Thread Ludovic Courtès
Hi! David Craven skribis: > So I'm trying to get a linux-libre-kernel for arm going. For arm there > is a multi_v7_defconfig we can use. I looked at the existing kernel > configs we have and can't make heads or tails of them. My question is > are any kernel options needed specifically for guixsd

Linux kernel config maintainablility

2016-09-02 Thread David Craven
Hi, So I'm trying to get a linux-libre-kernel for arm going. For arm there is a multi_v7_defconfig we can use. I looked at the existing kernel configs we have and can't make heads or tails of them. My question is are any kernel options needed specifically for guixsd? And can we make it more readab