Red Hat was the most popular Linux distribution in the year 2000