ppc 405 registers init

[Massimiliano Zilio]

Hi,
    I'd like to debug an application that permit me to write the
bootloader image in flash.
I am using PPC405 Gnu tools and Wiggler DBI.

I know that I can set registers value with the command
set reg $r0 0x0  (for example)
but I don't know the relation between gdb reg names and ppc name.
What is the ppc name of r5?  (for example)
What is the gdb name of GPTC?  (for example)

Where can I find these info and the init values of the register?

Thank you very much.

Bye Max


** Sent via the linuxppc-embedded mail list. See http://lists.linuxppc.org/