Linux is not in the public domain. Linux is a cancer that attaches itself in an intellectual property sense to everything it touches. That's the way that the license works.
Bio: David Batchelor is a Scottish artist, writer, and a Senior Tutor in Critical Theory in the Department of Curating Contemporary Art at the Royal College of Art in London.