Andreas Enge <andr...@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’.
