From: Dan Malek <hidden> Date: 2001-05-04 15:03:33
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/