Hi,
>> We build one non-debug kernel in rawhide per RC release. You
just
>> happened to hit it.
>
> That scheme sucks big time. Why flip config options like that?
Because people complained loudly that the normal debug rawhide kernels
were too slow.
Ok. I can see that this is tricky situation, guess it is a performance
vs. bug report quality trade-off.
But I don't think this flip options like this is a good solution to this
problem. Having your kernel behave in different ways depending on
whenever you happed to hit a .git0 version or not is odd.
IMO both default kernel and debug kernel should have a fixed set of
config options.
cheers,
Gerd