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: Kevin M. Kruse is a professor of history at Princeton University. He served as the David L. Rike University Preceptor of History from 2003 to 2006.