From mboxrd@z Thu Jan  1 00:00:00 1970
From: Ricardo Wurmus <rekado@elephly.net>
Subject: Re: Kernel config
Date: Sat, 16 Jul 2016 19:39:03 +0200
Message-ID: <877fcliitk.fsf@elephly.net>
References: <CAEwRq=qnkv08pRaakiySHYhbTwoOPwBP9bGuXbqCWZA7ug3AHw@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Return-path: <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:49320)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <rekado@elephly.net>) id 1bOTYj-0006sh-6e
	for help-guix@gnu.org; Sat, 16 Jul 2016 13:39:26 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <rekado@elephly.net>) id 1bOTYe-0002be-VA
	for help-guix@gnu.org; Sat, 16 Jul 2016 13:39:24 -0400
Received: from sender163-mail.zoho.com ([74.201.84.163]:24557)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <rekado@elephly.net>) id 1bOTYe-0002bR-Lo
	for help-guix@gnu.org; Sat, 16 Jul 2016 13:39:20 -0400
In-reply-to: <CAEwRq=qnkv08pRaakiySHYhbTwoOPwBP9bGuXbqCWZA7ug3AHw@mail.gmail.com>
List-Id: <help-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/help-guix>,
	<mailto:help-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/help-guix/>
List-Post: <mailto:help-guix@gnu.org>
List-Help: <mailto:help-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/help-guix>,
	<mailto:help-guix-request@gnu.org?subject=subscribe>
Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org
Sender: "Help-Guix" <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
To: Vincent Legoll <vincent.legoll@gmail.com>
Cc: help-guix@gnu.org


Vincent Legoll <vincent.legoll@gmail.com> writes:

> I'm wondering if it is possible to pass a .config file to be used for
> "guix system", as
> currently the config used is very heavy, and takes ages to build.

To use a different configuration you would create a new package variant
of the “linux-libre” package in “gnu/packages/linux.scm”, overriding the
native-input with the label “kconfig”.  Then you can specify your kernel
variant package in the “kernel” field of your system configuration.

I don’t recommend changing the default configuration in your local
checkout.

Hope this helps!

~~ Ricardo