Anyone knows if it is possible to use the ppc_8xx-addr2line on the linux 
kernel. I used the vmlinux but it didn't work. 

Bye,
Antonio.

Reply via email to