From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andreas Enge Subject: Re: Linux-libre Date: Thu, 29 May 2014 19:08:00 +0200 Message-ID: <20140529170800.GA14924@debian> References: <20140529143026.GA12567@debian> <87wqd48tth.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:33918) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Wq3oI-0000ur-Gv for guix-devel@gnu.org; Thu, 29 May 2014 13:08:16 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Wq3oC-0006F6-J6 for guix-devel@gnu.org; Thu, 29 May 2014 13:08:10 -0400 Content-Disposition: inline In-Reply-To: <87wqd48tth.fsf@gnu.org> 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: Ludovic =?iso-8859-15?Q?Court=E8s?= Cc: guix-devel@gnu.org On Thu, May 29, 2014 at 05:53:46PM +0200, Ludovic Courtès wrote: > The problem is that the headers are what libc builds against. It > doesn’t need the latest version (in fact, we build it with > --enable-kernel=2.6.30.) I still do not quite get it. If not necessary, it would albeit be allowed to have the same versions, no? Then why do we not make this choice and maybe update to a long term kernel in core-updates as suggested in the discussion following http://bugs.gnu.org/14851 ? How about creating one package linux-libre with two outputs 'out' and 'headers'? When I noticed that udev was looking for kmod, I started packaging it. The debian web page states it is a replacement of module-init-tools, and indeed it seems to contain the same binaries (lsmod etc.). I tried to configure udev with module-init-tools as an input, but it still asks for kmod. Our linux-libre package has module-init-tools as an input; should we use kmod instead? Then if kmod requires the kernel headers, my suggestion of the previous paragraph would not work. > I suspect the problem is that linux-libre-headers is build with the > default config, which may lack some features, and so as a side effect > some headers are not installed. > Would you like to look into it? Or maybe Alírio? :-) I am having a quick look at it, but I would gladly step back for someone more knowledgeable! My only interest in all this is actually to compile kdelibs; my bug report that it does not require udev according to its configure phase, but does not compile without it, has not seen a resolution so far. Andreas