Freddy Lugo wrote: > but then how I obtain the debug info of the kernel > after bootloading? You need to use the 'vmlinux' file for the information. I simply 'gdb vmlinux' then remotely attach to the debugger, either KGDB or Abatron. -- Dan ** Sent via the linuxppc-embedded mail list. See http://lists.linuxppc.org/