Hasta 1994 nadie registró la marca Linux en Estados Unidos.