On 7 March 2016 at 14:42, Johnny Hughes <johnny at centos.org> wrote: > On 03/03/2016 01:22 PM, Thanos Makatos wrote: >> I'm trying to debug what I believe to be a kernel bug >> (https://lists.centos.org/pipermail/centos-devel/2016-March/014463.html) >> and I'm trying to set up systemtap for that. >> >> I'm trying to set up systemtap on kernel 3.18.21-17.el6.x86_64 (Xen >> 4.4.3-10.el6) and it requires the kernel-debuginfo package, however I >> cannot find anywhere package >> kernel-debuginfo-3.18.21-17.el6.x86_64.rpm. In addition, I cannot find >> anywhere the kernel source RPM in order to build the debuginfo RPM. >> >> Should these packages be available in the first place? Am I missing something? >> > > The xen kernel does not provide debuginfo. The spec file initially came > from the elrepo repository, though it has been modified. I don't think > any of the elrepo kernels build debuginfo files. In this case is the kernel source RPM publicly available then?