Estou usando contadores de desempenho ( https://perf.wiki.kernel.org/index.php/Main_Page ) no Ubuntu 13.10 x86_64. Se eu digitar perf, recebo:
perf not found for kernel 3.11.0-031100
You may need to install linux-tools-3.11.0-031100-generic
Mas apt-get install ...não encontra
E: Unable to locate package linux-tools-3.11.0-031100-generic
uname -rretorna 3.11.0-031100-generic, ou seja, um nome de kernel ligeiramente diferente (o padrão do Ubuntu é 3.11.0-13-generic)
Como posso instalar por padrão os binários corretos correspondentes ao kernel (e / ou que repositórios tenho que adicionar para isso)?
(Eu sei que posso contornar isso, compilando-o a partir das fontes do kernel em / tools / perf /; isso funciona, mas, idealmente, eu quero que seja feito automaticamente via apt.)