They are in koji. https://koji.fedoraproject.org/koji/buildinfo?buildID=824906 You'll need kernel, kernel-core, kernel-modules for most baremetal installations; so what I do is just click on those three for my arch, and 'sudo dnf install *rpm' and they get installed. You might also want kernel-headers and kernel-devel depending on what you're doing. The 4.9.0 final release is a nodebug kernel, which is what that URL points to. For rc1+ kernels, you'd get a git0.1 build which has nodebug and explicitly named debug kernels. The git1+ kernels are typically debug, there aren't any nodebug. The best way to know for certain is to read the changelog, that'll tell you if debug was recently enabled or disabled (and it's a sticky change so it applies until the log says it's changed). Right now there are rc0 builds only and it looks like those are all debug. Chris Murphy _______________________________________________ kernel mailing list -- kernel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to kernel-leave@xxxxxxxxxxxxxxxxxxxxxxx
