Coined by James Hughes as a short form of Torvalds Unix (after Linus Torvalds), perhaps also influenced by the tux (tuxedo) that penguins are sometimes humorously said to be wearing.
Tux