Estou usando o Kali linux no meu raspberry pi e estou tentando substituir o kernal no / boot
Eu tenho um novo kernel e pensei que seria apenas obter a imagem antiga do kernel e chamar esse kernel.old e substituí-lo pelo novo. Mas parece não haver nada no diretório / boot.
Alguém pode ajudar?
Porque não é assim que se faz. Uma imagem do kernel vem no pacote .deb (porque o Kali é baseado no Debian), que é mais rico do que apenas um monte de arquivos. É composto por dois arquivos ar compactados , um para os arquivos e outro para os scripts de instalação. Os scripts de instalação são interpretados pelo gerenciador de pacotes Debian, dpkg, de maneira a simplificar todo o processo e aliviar o usuário da necessidade de exatamente o conhecimento que você está procurando (para onde ... vai?).
Normalmente, é fácil localizar imagens alternativas de kernel para PCs na Web: todos os tipos de desenvolvedores interessados, por exemplo, produzem pacotes Debian a partir das novas versões do kernel Linux. Uma pesquisa no Google irá convencê-lo facilmente disso.
Mas o seu caso é diferente por causa da arquitetura do Raspberry, um PC ARM. Você deve ter certeza de encontrar um pacote Debian adequado para sua arquitetura. Depois de instalar, instale-o por meio de
sudo dpkg -i my_new_kernel_image.deb
Qualquer outra coisa é muito mais dolorosa.