Hi Ricardo, Il giorno mer, 29/08/2007 alle 04.33 -0400, Ricardo Mendoza ha scritto: > Try to build the kernel with CONFIG_BUILD_ELF64=n > > Also, there's no support for kgdb on ip32 at the moment. 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? Bye, Giuseppe