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 E. Murray was CEO of Murray Energy Corporation, a mining corporation based in St. Clairsville, Ohio. He was one of the largest independent operators of coal mines in the United States.