Try to build the kernel with CONFIG_BUILD_ELF64=n Also, there's no support for kgdb on ip32 at the moment. Ricardo