A día de hoy, "Linux" es una marca registrada de Linus Torvalds en los Estados Unidos.