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: Robert Gilpin was a scholar of international political economy and the professor emeritus of Politics and International Affairs at the Woodrow Wilson School of Public and International Affairs at Princeton University.