Saya menggunakan penghitung kinerja ( https://perf.wiki.kernel.org/index.php/Main_Page ) di Ubuntu 13.10 x86_64. Jika saya mengetik perf
saya mendapatkan:
perf not found for kernel 3.11.0-031100
You may need to install linux-tools-3.11.0-031100-generic
Tetapi apt-get install ...
tidak menemukannya
E: Unable to locate package linux-tools-3.11.0-031100-generic
uname -r
mengembalikan 3.11.0-031100-generic
, yaitu, nama kernel yang sedikit berbeda (default Ubuntu adalah 3.11.0-13-generik)
Bagaimana saya bisa secara default menginstal binari benar cocok kernel (dan / atau apa repositori saya harus menambahkan untuk ini)?
(Saya tahu saya dapat mengatasi ini dengan mengkompilasinya dari sumber kernel di / tools / perf /; ini berfungsi, tetapi idealnya saya ingin menyelesaikannya secara otomatis melalui apt.)