Verifique /usr/src/linux/.config , arquivos de cabeçalho em /usr/src/linux/include/generated , /usr/src/linux/include/config/kernel.release
Se você tiver um arquivo vmlinux, tente
strings vmlinux | grep version
Se eu estou olhando para uma versão do código-fonte do kernel linux, posso dizer qual versão do kernel ele é?
Este é o código que atualmente não está sendo executado em nenhuma plataforma (por isso não posso executar comandos), mas existe algum arquivo de origem que liste a versão do kernel?
Na versão 4.0, você pode executar:
make kernelversion
Exemplo de saída:
4.0.0
Possível mesma pergunta no SO: link