/boot
é o local padrão para o kernel nas distribuições de desktop / servidor, mas os sistemas incorporados variam muito. Onde o kernel é armazenado inteiramente depende do seu bootloader, e ele pode não ser um arquivo, já que os bootloaders embutidos frequentemente não são capazes de ler sistemas de arquivos Linux.
Por exemplo, com o U-Boot (um bootloader embutido popular), você crie uma imagem com mkimage
, que pode então ser escrito em uma partição FAT separada ou escrito em algum outro formato específico do sistema. Se a imagem do kernel estiver em uma partição FAT, essa partição geralmente não é montada no Linux, já que o Linux nunca precisa acessá-la (exceto durante upgrades, mas a maioria dos sistemas embarcados não atualiza seu kernel separadamente do bootloader).
O resultado é que você tem que procurar por isso. Se precisar de ajuda, você precisa descrever seu sistema com muita precisão e, mesmo assim, podemos ou não ser capazes de ajudar, dependendo de quão popular é o seu sistema embarcado. Se você não conseguir encontrá-lo por conta própria, considere pedir suporte aos provedores do sistema embarcado.