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 W. Harvey is the Distinguished Professor of anthropology and geography at the Graduate Center of the City University of New York. He received his PhD in geography from the University of Cambridge in 1961.