From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: Kernel config Date: Sat, 16 Jul 2016 22:44:16 +0200 Message-ID: <87twfp71pb.fsf@gnu.org> References: <877fcliitk.fsf@elephly.net> 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]:47087) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bOWRk-0000Vp-7R for help-guix@gnu.org; Sat, 16 Jul 2016 16:44:24 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bOWRh-000125-35 for help-guix@gnu.org; Sat, 16 Jul 2016 16:44:24 -0400 In-Reply-To: (Vincent Legoll's message of "Sat, 16 Jul 2016 20:25:11 +0200") List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Vincent Legoll Cc: help-guix@gnu.org Hi, Changing the kernel config is currently inconvenient as you can see. Ideally we should provide an API to express a set of options to turn on and off. Ludo=E2=80=99.