On 12 October 2010 10:59, Jason Heeris <jason.heeris@gmail.com> wrote: >> 4. File a bug on bugzilla.kernel.org with all relevant information. This >> does include the kernel config at the very least. > > It's just the Debian stock kernel config. Should I recompile it with any kind of debugging information enabled, or does the Debian kernel already contain it? — Jason