Sí es el kernel, pero para poder compilarlo es necesario el fichero de configuración del terminal, se obtiene conectándolo al pc con la depuración usb activada (se entiende que los drivers ya están instalados), con el comando adb pull /proc/config.gz
Una vez obtenido, se descomprime con gunzip config.gz (en ubuntu, por ejemplo) y se obtiene un fichero llamado .config que hay que copiar en la raíz de la carpeta del kernel.
En este punto, y con la configuración exacta (.config) ya se puede empezar a compilar.
|