Obtendo estes arquivos de kernel do kernel.ubuntu.com :
linux-headers-4.9.5-040905_4.9.5-040905.201701200532_all.deb
linux-headers-4.9.5-040905-generic_4.9.5-040905.201701200532_amd64.deb
linux-image-4.9.5-040905-generic_4.9.5-040905.201701200532_amd64.deb
e em execução:
$ sudo dpkg -i linux-headers-4.9.5-040905* linux-image-4.9.5-040905*
Eu recebo:
$ uname -r
4.9.5-040905-generic
Então, isso falha:
$ perf
WARNING: perf not found for kernel 4.9.5-040905
You may need to install the following packages for this specific kernel:
linux-tools-4.9.5-040905-generic
linux-cloud-tools-4.9.5-040905-generic
A instalação também falha:
$ sudo apt-get install linux-tools-4.9.5-040905-generic
Reading package lists... Done
Building dependency tree
Reading state information... Done
E: Unable to locate package linux-tools-4.9.5-040905-generic
E: Couldn't find any package by glob 'linux-tools-4.9.5-040905-generic'
E: Couldn't find any package by regex 'linux-tools-4.9.5-040905-generic'
Eu sei que provavelmente é porque o conjunto de ferramentas não existe no apt. Quando é a linha do tempo para obter 4.9 ferramentas do linux no apt supondo que não está lá? Qual o melhor fluxo de trabalho se você quiser o kernel 4.9?