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

[cooloutac]

I got that on an intel driver,  but only when looking at the syslog,  not  
actually displayed on the screen at boot.