Hi, I'm trying to debug a kernel bug. The instructions at http://www.freebsd.org/doc/en/books/developers-handbook/kerneldebug.html talk about "dumpon" and "savecore" commands but these do not seem to be in debian. How do you debug the kernel? Is there some alternative way to dump the kernel state to disk on panic?