This is the mail archive of the
gdb@sources.redhat.com
mailing list for the GDB project.
ia64 in-target debugging
- From: "Vincent Girard-Reydet" <vincent dot girard-reydet at bull dot net>
- To: <gdb at sources dot redhat dot com>
- Date: Tue, 6 Apr 2004 14:18:36 +0200
- Subject: ia64 in-target debugging
- Reply-to: <vincent dot girard-reydet at bull dot 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