On Thu, Aug 21, 2008 at 11:38:03AM +0100, Pedro Alves wrote: > Does debugging with against KGDB use the same gdbarch as debugging > a linux app? Is there no separate OSABI or something? There's no separate OSABI; if you build the kernel with a Linux toolchain it's a generic static application. -- Daniel Jacobowitz CodeSourcery