Hi,

I'm trying to bring back IPKDB support. I have some questions:

- Somewhere in the file is a:

#define	ipkdbsave	0xde0		/* primary save area for IPKDB */
...
ipkdbtrap:
	FRAME_SETUP(ipkdbsave)
/* Call C trap code: */
...

Shouldn't that be FRAME_SETUP(CI_IPKDBSAVE) ? That define seems obsolete.

- Why aren't things like BAT registers saved in the frame? How is gdb
supossed to get them?

TIA,
  Jorge Acereda