RE: [microblaze-uclinux] serial driver behaviour,debugging tools foruClinux on MicroBlaze??

[Raj Nagarajan <raj.nagarajan@xxxxxxxxxx>]

Hi Anand,

> 
> 3. are there any debugging tools available for debugging the 
> kernel image on board....?..i tried using the software 
> debugger from within XPS(EDK 6.1)...but it says ..file format 
> not supported or some such error... how do we debug the 
> running kernel?..since we are anyway downloading the 
> image.bin file...can't mb-gdb debug this kind of a target file?....
> 

You should be able to use XMD + mb-gdb, the debugger provided in XPS to
debug the kernel. If you want to use mb-gdb, you should use image.elf
file to download to target. You can also use XMD, but then you need to
know the address to set breakpoint... And ofcourse you can use printk
:-)

- Raj

___________________________
microblaze-uclinux mailing list
microblaze-uclinux@itee.uq.edu.au
Project Home Page : http://www.itee.uq.edu.au/~jwilliams/mblaze-uclinux
Mailing List Archive : http://www.itee.uq.edu.au/~listarch/microblaze-uclinux/