Exemple tout bête mais pour "Mantrix" j'ai du chercher 2 semaines avant de trouver que tout était OK : un groupe de musique existe sous le nom de "Mantrix" mais rien niveau OS ou informatique (le plus rapprochant c'est Matrix ou Montrux).
Si tu veut faire un OS tu peut aussi l'appelé genre "GalaxOS" qui il me semble est disponible.
Fait attention au droits d'auteurs sinon tu risque d'avoir des ennuis :/ C'est juste un conseil qui s'applique à tout le monde : quand vous décidez d'appelé votre logiciel ou OS pensé toujours à vérifier sur Google, youtube, bref partout que ce nom est pas déjà pris...Je sais c'est dur de trouver un nom libre car on est 7 milliards sur cette terre...et 1/4 de développeurs xD