My fault. I'll push the updated debuginfo shortly.
On 06/23/2017 02:26 PM, Richard Henwood wrote:
> Hi All,
>
> I was looking for kernel-debug-debuginfo and I noticed that the most
> recent version available for AArch64 is 4.5.0-23 [1], but my kernel is
> on 4.5.0-25.
>
> I have worked around on this occation (by just renaming the
> /usr/src/debug directory,) but I wanted to raise it here in case it is a
> previosly unknown issue (or an opportunity for me to understand better
> how things work).
>
> Best regards,
> Richard
>
> 1.
>
http://debuginfo.centos.org/7/aarch64/kernel-debug-debuginfo-4.5.0-23.el7.aarch64.rpm