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: Benjamin Solomon "Ben" Carson Sr. is an American neurosurgeon, author, and politician who is the 17th and current United States Secretary of Housing and Urban Development, under the Trump Administration.