Eu tenho um Raspberry Pi 2B e instalei o Kali Linux 2016.2 com o kernel 4.1.19-v7 que baixei do site da Kali. Ele está funcionando bem, mas para alguns utilitários funcionarem, eu preciso atualizar meus drivers sem fio para o DREADED EDIMAX EW-7811. Eu quero compilá-los a partir da fonte fornecida pelo Edimax, então eu preciso configurar um ambiente de compilação.
Eu fiz isso duas vezes no Ubuntu e no Raspbian, instalando os cabeçalhos do linux e os essenciais da construção e, em seguida, fazendo ... etc. Quando procuro linux-headers no apt, posso encontrar cabeçalhos recentes para 4.8. *, Mas não para o 4.1.19 que veio com a imagem.
Agora eu vejo duas opções, atualizo o Kali para o 4.8 ou pesquise cabeçalhos para essa versão antiga.
Eu não estava tentando criar um novo kernel, apenas atualize a partir dos repositórios. Como uma imagem RPi não usa o grub, como no mundo eu digo ao pi para inicializar o NOVO kernel que acabou de instalar?
Qual é a maneira kali / pi de fazer do-dist-upgrade? Não está atualizando porque sabe que não vai funcionar? Se eu tiver sucesso, vou ter quebrado alguma coisa? Se eu não posso fazer isso, como faço para encontrar os cabeçalhos antigos para que eu possa construir e seguir em frente? Estou latindo na árvore errada?