3

I'd like to make use of systemtap on my 2016-02-09-raspbian/jessie system. For that I need the kernel debug package and the kernel headers.

The kernel in use is:

root@raspberrypi:/home/pi# uname -r
4.1.17+

So I would expect these two to work on a Debian.

root@raspberrypi:/home/pi# apt-get install linux-image-`uname -r`-dbg
Reading package lists... Done
Building dependency tree       
Reading state information... Done
E: Unable to locate package linux-image-4.1.17+-dbg
E: Couldn't find any package by regex 'linux-image-4.1.17+-dbg'


root@raspberrypi:/home/pi# apt-get install linux-headers-`uname -r`
Reading package lists... Done
Building dependency tree       
Reading state information... Done
E: Unable to locate package linux-headers-4.1.17
E: Couldn't find any package by regex 'linux-headers-4.1.17'

How do I find the matching debug kernel and headers on raspian?

1 Answer 1

-3

Try simply apt-get install linux-headers linux-image. To find specific versions, you can try apt-show-versions <package> if the package is already installed and aptitude versions <package> to check version of installation candidates.

2
  • Unfortunately there are no suitable candidates. Feb 28, 2016 at 18:33
  • Does apt-get list any packages as being held back?
    – cbinrva
    Feb 28, 2016 at 23:48

This site is temporarily in read-only mode and not accepting new answers.

Not the answer you're looking for? Browse other questions tagged .