From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: Linux kernel config maintainablility Date: Mon, 05 Sep 2016 10:53:58 +0200 Message-ID: <87fupeohg9.fsf@gnu.org> References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:54794) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bgpfK-00078T-91 for guix-devel@gnu.org; Mon, 05 Sep 2016 04:54:07 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bgpfG-0000DW-5f for guix-devel@gnu.org; Mon, 05 Sep 2016 04:54:05 -0400 In-Reply-To: (David Craven's message of "Fri, 2 Sep 2016 14:30:11 +0200") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: David Craven Cc: guix-devel 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? And can we make > it more readable/explicit by using a defconfig + adding the guixsd > specific configs separately? This would allow people like me to > understand what's actually needed to get guixsd working ;-) guix-daemon needs CONFIG_DEVPTS_MULTIPLE_INSTANCES=3Dy and that=E2=80=99s a= bout it. GuixSD doesn=E2=80=99t have any unusual requirements. Now, I agree that storing full config files makes it hard to understand what non-default settings are used. NixOS has a nicer way to express this, but long ago people thought it might be fragile: https://lists.gnu.org/archive/html/guix-devel/2014-06/msg00108.html https://lists.gnu.org/archive/html/guix-devel/2014-09/msg00370.html https://lists.gnu.org/archive/html/guix-devel/2014-07/msg00044.html https://github.com/NixOS/nixpkgs/blob/master/pkgs/os-specific/linux/kerne= l/linux-4.7.nix https://github.com/NixOS/nixpkgs/blob/master/pkgs/os-specific/linux/kerne= l/generic.nix https://github.com/NixOS/nixpkgs/blob/master/pkgs/os-specific/linux/kerne= l/generate-config.pl Thoughts? Ludo=E2=80=99.