> Now, I get booting...In kernels with IPKDB enabled (GENERIC) I get the
 > IPKDB: No interfaces found message...I get the copyright message...and then
 > I get a Program Check interrupt, which is type 700.
[...]
 > MSR[IP] beforehand).  The third weird part is that it occurs at address
 > 0x00000300.  Yes, that's the very beginning of the DSI handler.

Do you try to print the data of 0x00000300 in kernel?
I think that you can use printf(), now.

BTW, I tried so that it could use DDB(from OpenBSD/powerpc)
with port-bebox (It's just quick hack :-).
I port it to port-powerpc. It confirmed that it worked
tentatively with PSIM.


<URL:ftp://www.cec.co.jp/usr/sakamoto/NetBSD/experiment/ppc_ddb.tar.gz>


I must think what to do with the conflict with IPKDB(and KGDB).
But, if it works fine, I will commit it.

Kazuki Sakamoto
sakamoto@cec.co.jp