[CentOS] no kernel-debuginfo or source RPM for kernel 3.18.21-17

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?