kernel not bootable today?

[Andrew Gallatin]

Trying to boot a kernel built from CVS today (just after kan fixed the
adaptive mutexes compilation problem) leaves me back at the
open-firmware prompt:

OK boot
Kernel entry at 0x12ab48 ...
KDB: debugger backends: ddb
KDB: current backend: ddb

DEFAULT CATCH!, code=900 at   %SRR0: 0000a840   %SRR1: 00083000 
 ok
0 >


I'm not sure how to debug this....  Is one of these a faulting
address?

Thanks,

Drew