en effet risque de poursuites judiciaires si nom de marque, mais là tu parles de LINUX et qui dit linux dit libre, open source, etc. donc je pense pas que t'aura le moindre probleme
il faut savoir que meme quand il s'agit de nom de marque, ca ne pose probleme que si la marque en question prouve que ton utilisation de ce nom de marque lui porte préjudice.
en gros n'hésite pas et fonce