Debugging Linux with PPCBoot and the BDI2000

Dan Malek dan at
Sat Aug 18 06:57:22 EST 2001

"Boerner, Brian" wrote:
> I'm trying to debug my kernel using PPCBoot to load the kernel image via
> tftpboot and then stop it in start_kernel.

Ensure you are using the latest 2_4_devel kernel and Abatron firmware.
We have been developing something that will work better for Linux,
with less overhead and more flexibility on both sides.  It was required
due to 2.4.x page table changes, and I finally got the Linux part of
it checked in.

> 4. set a break at start_kernel (breaking on _start didn't work at all).

That's because _start isn't a virtual address as indicated in the
symbol table.  Set a hard breakpoint at zero if you must stop there.

	-- Dan

** Sent via the linuxppc-embedded mail list. See

More information about the Linuxppc-embedded mailing list