No Ubuntu & variantes, é chamado vmlinuz . Então sua linha de comando para o oprofile se torna:
opcontrol --vmlinux=/boot/vmlinuz-'uname -r
Estou tentando executar o oprofile no meu host ubuntu, mas não consigo encontrar o arquivo vmlinux. A configuração para o oprofile precisa deste arquivo:
Como indicado aqui: link
opcontrol --vmlinux=/boot/vmlinux-'uname -r'
O que devo fazer para que eu possa traçar o perfil do kernel do ubuntu.
Estou usando o 2.6.32-34-generic-pae (uname -r)
Esta postagem pode ajudar. Eu copio e colei minha solução aqui novamente para sua conveniência.
você pode baixar o código-fonte e compilar o seu próprio usando o seguinte comando:
apt-get source linux-image-$(uname -r)
apt-get build-dep --no-install-recommends linux-image-$(uname -r)
cd linux-2.6.32/
fakeroot make -f debian/rules binary-generic skipdbg=false
ou você pode baixar o pacote do ddeb aqui e instalá-lo por sudo dpkg -i linux-image-3.2.0-60-virtual-dbgsym_3.2.0-60.91_amd64.ddeb
Tags command-line bash linux profile