> >What is the key sequence for getting into the kernel debugger, ddb?
> I believe it's ctrl-alt-esc.

An NMI is also supposed to do it (if the keyboard is locked up).
Alas, I don't know how to generate an NMI (my motherboard's "manual"
doesn't admit to the existance of a tie point for it or anything).