Just thought this was interesting: "In addition, Linus Torvalds, Linux's founder, considers Red Hat Linux to be Linux. 'Sure, RH definitely has their own vendor kernel, but it's not proprietary, and a number of the top Linux kernel contributors are Red Hat employees,' Torvalds said."