Alguém sabe onde posso encontrar a fonte do kernel do Linux 3.18.0-25-rpi2?
Este é o kernel da imagem do Ubuntu 14.04 para Raspberry Pi 2:
The kernel used by the Raspberry Pi 2 port is an Ubuntu-style kernel package of an "rpi2" flavor, e.g. linux-image-3.18.0-20-rpi2. Currently it is comprised of the following functionality:
- Mainline 3.18.x
- Fork of Ubuntu-3.18.0-14.15 from the ubuntu-vivid git tree
- Provides extra functionality such as aufs
- Also includes additional stability fixes, many of which have been rolled into mainline post-3.18.7
- Raspberry Pi-specific patches from the rpi-3.18.y branch of Raspberry Pi's linux git tree
Corri o apt-get source -b linux-image-$(uname -r) que construiu o kernel, mas foi 3.13.0-79. Eu não entendo porque isso aconteceu. flash-kernel se recusou a instalá-lo, pois é mais antigo que o kernel 3.18 existente.
Talvez este link possa ajudá-lo, já que é específico da rpi.
Edit: Eu teria feito um comentário, mas meu representante é novo e ainda não é possível.
Bifurcação do Ubuntu-3.18.0-14.15 de a árvore do git ubuntu-vivid
As instruções para rpi e a fonte do link anterior estão aqui.
Role para baixo até 14,04 bits.