Eigetnlich soll GNU doch hiessetn, das linus Torvalds zum Entwickeln von Linux Werkzeuge (wie den ggc Compiler) verwendet hat, die unter der GNU Lizenz standen!?!

Der GGC und andere Programme der GNU werden in den Distributionen immer noch verwendet. Deshalb wäre der Name GNU/Linux richtiger.