From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Linux-Libre build configs Date: Thu, 10 Jul 2014 00:44:26 +0200 Message-ID: <87ha2qxid1.fsf@gnu.org> 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]:37412) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X50bN-0001BJ-R0 for guix-devel@gnu.org; Wed, 09 Jul 2014 18:44:46 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1X50bE-0002aZ-Oy for guix-devel@gnu.org; Wed, 09 Jul 2014 18:44:37 -0400 Received: from hera.aquilenet.fr ([2a01:474::1]:40602) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X50bE-0002aV-I1 for guix-devel@gnu.org; Wed, 09 Jul 2014 18:44:28 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 1373F3279 for ; Thu, 10 Jul 2014 00:44:27 +0200 (CEST) Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id xyAPjqwyd1PB for ; Thu, 10 Jul 2014 00:44:27 +0200 (CEST) Received: from pluto (reverse-83.fdn.fr [80.67.176.83]) by hera.aquilenet.fr (Postfix) with ESMTPSA id BD3E33233 for ; Thu, 10 Jul 2014 00:44:26 +0200 (CEST) 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-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Guix-devel Hello! Commit a94546e adds kernel configs for i686 and x86_64 that Jason has been maintaining for some time (thanks!). These configs build lots of things as modules, as we=E2=80=99d expect. I was hoping we could come up with a way to generate a kernel config, either based on =E2=80=98allmodconfig=E2=80=99 or something like what NixOS= does [0], but I=E2=80=99ve become pretty convinced that this would be difficult at be= st. Hopefully, we=E2=80=99ve now found our kernel config maintainer. :-) Ludo=E2=80=99.