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: William Ernest Walsh was the head coach of the San Francisco 49ers and the Stanford Cardinal football team, during which time he popularized the West Coast offense.