I read, with surprise that kernels provided by debian (themselves coming from kernel.org) are not 100% Free ! There are non-free softwares inside ! That's so surprising because everybody tells "the Linux kernel is100% Free", but in the facts, it's not true...

Linux-libre is a project that wants to provide a kernel 100% Free ! They remove non-free softwares with a script : deblob-main.

It works for me on debian sid, I think it also works for all distributions, it is a kernel like the original kernels, only some things are removed.

Debian doesn't seem to provide linux-libre officialy, but anyway, it's available for debian. Sources are available there and they are to be compiled like kernels from kernel.org