How to get debuginfo package for -rt kernel

I have Ubuntu 14.04 with 3.14.3-rt4 kernel. I have to use SystemTaptool and I must have debug symbols to use it. I follow the instruction in here but there are no debug symbols for my kernel and when I try to build a debug info kernel (according to here) I see this:

Unable to find a source package for linux-source-3.14.3-rt4

What should I do? Please help me.

uname -r

Linux Gerdu 3.14.3-rt4 #2 SMP PREEMPT RT Mon Sep 7 00:21:53 IRDT 2015 i686 i686 i686 GNU/Linux

awk '/Package: linux-/' /var/lib/dpkg/status

gives no output

11

1 Answer

You've compiled your own kernel and there is no matching Ubuntu package. Therefore

sudo apt-get source linux-source-$(uname -r)

or in your case

sudo apt-get source linux-source-3.14.3-rt4

fails and gives the output

Unable to find a source package for linux-source-3.14.3-rt4

Download the kernel again (kernel, patches) and enable debug symbols as described here.

Your Answer

Sign up or log in

Sign up using Google Sign up using Facebook Sign up using Email and Password Submit

Post as a guest

Post Your Answer Discard

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