On Mon, Jun 11, 2012 at 16:45:44 +0200, Gerd Hoffmann <kraxel at redhat.com> wrote: > >I see a kernel-debug-3.5.0-0.rc2.git0.1.fc18 in the repo ... There were requests to have some non-debug kernels in rawhide as the debug ones had terrible performance for some people during the F17 development process. So the kernel guiys started doing one non-debug kernel per rc.