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 Barton is an evangelical Christian political activist and author. He is the founder of WallBuilders, LLC, a Texas-based organization that promotes unorthodox views about the religious basis of the United States.