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?

-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.

  • Unfortunately there are no suitable candidates. – Frank Meerkötter Feb 28 '16 at 18:33
  • Does apt-get list any packages as being held back? – cbinrva Feb 28 '16 at 23:48

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.