An idea that was tossed around was to do something similar to what
we do in release builds, and offer separate debug/nodebug builds.
But instead of how we do it in releases, do the opposite, and have
a -nodebug build, whilst keeping the regular kernel debug-turned-on
to maximise coverage testing.
Personally, I'd like to see this but let's face it, we always will have
situations where changing the timing of the kernel execution causes bugs
to come-and-go. I guess there may have to be a certain amount of debug
we have to live with.
P.
Dave