[U-Boot] Debugging into the kernel from u-boot

[Dunda, Matthias]

Hi Stefan,

> 
> You have all the equipment you need. Use the BDI3000 to debug 
> the Linux 
> kernel.

is it correct, that I can only use HARD breakpoints? Because when I set
BREAK SOFT, the gdb always says it cannot access memory at c000....

And even with HW breakpoints I'm not able to do clean stepping thru the
code. The pointer jumps more or less arbitrarily thru the file resulting in
a crash after some steps.