ia64 in-target debugging

["Vincent Girard-Reydet" <vincent.girard-reydet@bull.net>]

Hi everyone,

I'm writing a stub for gdb on ia64 machines in order to debug a BIOS (in
fact it will be a stub for the EFI/ia64). I intend to debug my ia64 server
from a x86 laptop through a serial line.
I saw in the archives that it might not be possible to achieve it. Any
comments about it ? Have you any clues (or pointers to some how-to) on how I
could compile gdb on my laptop to get this stuff working ? The problem is
that if I do a ./configure, I think gdb will know x86, but not ia64, and I
need him to know both of them.
I also need some informations about the executable formats supported by GDB.
The EFI spec requires PE32+ executable format (extension of the PE/COFF
format), but it's not clear if GDB supports it. If not, any idea of the
amount of work needed to support it ?

Also, I don't know where to post my stub when it is debugged. If someone
could tell me, this would be great.

Thank you for your reponses!

Regards,

Winch