Oh sí, a pesar de que a algunitos no les gusta pagar, el kernel Linux es mantenido por corporaciones que pagan a sus programadores, ellos a su vez publican parches al kernel.
Slashdot sacó una noticia sobre éste tema, el artículo de lwn está aqui:
[url]http://lwn.net/Articles/222773/[/url]
Aquí están las contribuciones al kernel por empresas:
[code]
(Unknown) 66154 19.0%