>> [2] https://gitorious.org/guix/guix/blobs/master/distro/packages/base.scm
>
> Any particular reason it uses kernel.org Linux instead of Linux libre?
No. Currently it s just a user-land software distro, like GSRC, so only
the headers are used, to build glibc. I guess the Linux-Libre deblob
scripts don t change them.
Of course, the goal is to use Linux-Libre as the kernel, when it s a
bootable system.
Even if only the headers are currently being used,
please point at Linux-Libre to get them.
--
Dr Richard Stallman
President, Free Software Foundation
51 Franklin St
Boston MA 02110
USA
www.fsf.org www.gnu.org
Skype: No way! That's nonfree (freedom-denying) software.
Use Ekiga or an ordinary phone call