Google acusado de violar la licencia GPL en Android

Según algunos expertos legales, Android podría estar violando la licencia GPL v2. El kernel de Android está basado en el kernel de Linux. Sobre este kernel corre el entorno de ejecución de aplicaciones de Android, que esta basado en el proyecto Harmony de Apache y que por tanto tiene licencia Apache. El pegamento entre ambos componentes parece ser una librería llamada Bionic.

Bionic es una librería C que, entre otras cosas, parece ser que lee una gran cantidad de archivos cabecera del kernel de Linux, elimina algunas partes de código fuente y comentarios de dichos archivos, y genera unos nuevos archivos que Google distribuye bajo licencia Apache. Según algunos expertos legales (especialmente según Raymond Nimmer) esto viola la licencia GPL.

Da la impresión de que lo que Google debe estar haciendo es emplear esos archivos de cabecera como una base para generar algún tipo de bindings entre el entorno de ejecución de aplicaciones de Android y el kernel de Linux. Lo que parece estar haciendo es obtener declaraciones de funciones del kernel a partir de los archivos de cabecera, declaraciones que posteriormente seguramente empleará para realizar invocaciones a dichas funciones. O al menos esto es lo que yo interpreto en base a lo que he leído.

Lo que parecen estar haciendo es obtener de un modo automático las declaraciones de las funciones para crear los bindings. Por tanto, realmente no han copiado código de las funciones, sino sólo sus declaraciones.  Es aquí donde ya no me llegan mis conocimientos para interpretar si esto viola o no la licencia GPL.

En la actualidad no hay ningún juicio al respecto, ni me consta que ninguna parte haya dicho que va a realizar una demanda. Pero es otro interrogante legal que se abre en torno a Android, además de la demanda puesta por Oracle.