Thanks for this - it answers a question lots of people have about what the difference is between Debian's kernel and linux-libre.

Reply via email to