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: Phillip Abbott Luce was an American author, lecturer and political organizer who had earlier taken leadership roles in communist organizations, mostly the pro-Red Chinese Progress Labor Movement, only to repudiate them by early 1965.