Barrapunto

Ya había pensado en eso, pero a mi entender la GPL indica que el propietario de la patente otorga una licencia ilimitada (en el tiempo) y royalty-free a todo el que se haga con su código al distribuir algo que use la patente como GPL. Es un apartado específico de la GPL, no estoy confundiendo copyright con patente.

Es decir, si lo distribuye como GPL *renuncia para siempre* a una parte de sus derechos en lo referente a la patente en beneficio de los receptores de su código GPL. Según esa interpretación, aunque viniese M$ y comprase RH, yo seguiría pudiendo usar el código GPL y cambiarlo COMO QUISIERA, sin preocuparme por las patentes que usa, pues:

Finally, any free program is threatened constantly by software patents. We wish to avoid the danger that redistributors of a free program will individually obtain patent licenses, in effect making the program proprietary. To prevent this, we have made it clear that any patent must be licensed for everyone's free use or not licensed at all.

A partir del momento en el que RH distribuye TUX bajo la licencia GPL, "[the patent is] licensed for everyone's free use".