how to kernel debug

[ian j hart]

[Please CC]

I have a growing collection of core dumps so I guess it's time to learn how to 
do this. Are there any docs I can read?

I already found CH10 of the developers handbook and read the man pages for gdb 
and ddb.

While I'm here, the handbook suggests that "call boot(0)" is a suitable method 
of leaving ddb. I just get a page fault. Is this normal?

Thanks

-- 
ian j hart

http://ars.userfriendly.org/cartoons/?id=20031016