To further clarify this point, if you look at the reports here, you'll find that RedHat is the largest corporate contributor to both the kernel and to gnome:

http://www.linuxfoundation.org/publications/linux-foundation http://blogs.gnome.org/bolsh/2010/07/28/gnome-census/