On 8/29/07, Giuseppe Sacco <giuseppe@xxxxxxxxxxxxxxxxxxxxxxxxx> wrote:
> I already tried the 32bit kernel and I found the same problem. Are you
> telling me that I should use 32bit for debugging instead of 64?
No, what I'm telling you to do is to try and build it with
CONFIG_BUILD_ELF64 disabled, more explicitly that is under Executable
file formats or something like that. About kgdb debugging, what I am
telling you is that ip32 has no hook ups coded for it yet, in other
words, no support.
Ricardo
