Sto usando i contatori delle prestazioni ( https://perf.wiki.kernel.org/index.php/Main_Page ) su Ubuntu 13.10 x86_64. Se scrivo perfottengo:
perf not found for kernel 3.11.0-031100
You may need to install linux-tools-3.11.0-031100-generic
Ma apt-get install ...non lo trova
E: Unable to locate package linux-tools-3.11.0-031100-generic
uname -rrestituisce 3.11.0-031100-generic, cioè, un nome del kernel leggermente diverso (il valore predefinito di Ubuntu è 3.11.0-13-generico)
Come posso installare di default i binari corretti corrispondenti al kernel (e / o quali repository devo aggiungere per questo)?
(So che posso aggirare questo compilandolo dai sorgenti del kernel in / tools / perf /; funziona, ma idealmente voglio farlo automaticamente tramite apt.)