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

[t8mf4nu6lizp]

If that is so, then please file a bug at

https://trisquel.info/en/project/issues