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: Carmine Crocco, known as Donatello or sometimes Donatelli was an Italian brigand. Initially a Bourbon soldier, later he fought in the service of Giuseppe Garibaldi.