Re: Linux-libre

[ludo@gnu.org (Ludovic Courtès)]

Andreas Enge <andreas@enge.fr> skribis:

> I just noticed the following:
>
> $ guix package -A linux-libre
> linux-libre     3.13.7  out     gnu/packages/linux.scm:210:3
> linux-libre-headers     3.3.8   out     gnu/packages/linux.scm:97:3
>
> Should the two versions not be made to coincide?

No.

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 came acroos this when looking for linux/module.h, for which the configure
> of kmod looks, itself a dependency of udev.

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.

That would need investigation, but if this is correct, let’s fix that in
core-updates.

Would you like to look into it?  Or maybe Alírio?  :-)

Thanks,
Ludo’.