I have seen a lot of discussions about kernel with debugging options enabled in this cycle. The questions repeat itself and I have them sometimes as well (I tend to forget these information). I think we should create a wiki page describing:
Then we can link this page e.g. in our Alpha announcements, so that we save a lot of question for many people (and maybe a lot of troubles as well, if they have some troubles and they just don't know about debug kernels at all).
Good idea? Volunteer?
Kudos to pschindl who found this: http://fedoraproject.org/wiki/KernelDebugStrategy
We can still add more information as proposed above.
I believe items 1 and 3 are already covered by the page you linked to. The rest seem like decent things to add. I'll look at adding some more to the wiki page next week if someone doesn't beat me to it.
I will say that there probably isn't going to be a magic way to find the non-debug kernels in koji other than clicking through the builds and looking at the changelog.
This doesn't really need a milestone.
The page from comment 1 now contains all the required information. I also added link to this page together with an explanation to https://fedoraproject.org/wiki/Common_F18_bugs#The_system_is_very_slow , so that Alpha users know about it and can find the detailed information.
We should not delete that paragraph from Common bugs page for Beta release, but just comment it out and re-use that for F19 Alpha and so on.
Closing this ticket, I think it's done.
This issue has been migrated to Fedora Forge: https://forge.fedoraproject.org/quality/tickets/issues/289
Please continue any further discussion there.