[Trisquel-users] Antwort: Difference between Linux-libre kernel and Debian (main) kernel?

[shiretoko]

You're misinformed. The kernel _is_ libre.
If you know better (i guess you don't), please give some references.