On 13 July 2012 16:49, Alex Smith <alex@xxxxxxxxxxxxxxxx> wrote: > On 13 July 2012 16:30, Ingo Weinhold <ingo_weinhold@xxxxxx> wrote: > >> Alex Smith wrote: >> > Plus even with DWARF, it still may not be possible to get all the >> arguments >> > as their values may be lost due to optimization. If I fix up the GDB >> stub >> > for x86_64 that should be sufficient. Not sure what the problem is with >> it, >> > it's faulting when I connect GDB to it. Probably the stub code is not >> > correct for 64-bit, I'll look into it later. >> >> The gdb support isn't high priority ATM. Last time I tried it wasn't even >> possible to load a gcc 2 kernel in gdb (any gdb version I tried crashed or >> hung). So unless you want to use it yourself feel free to add a TODO and >> postpone. >> > > It's working alright on x86 GCC 4, I tried it yesterday. If I can't find > the problem quickly I'll leave it for now. > Turns out it is actually working. Just have to tell GDB it's an x86_64 target (set architecture i386:x86-64:intel) before you connect. Thanks, Alex