Debugging with BDI2000

Debugging the Linux Kernel

First download the actual firmware and tools for your BDI

wget ftp://83.125.32.26/bdigdb/setup/bdisetup.zip

You can find Configs for your platform at:

ftp://83.125.32.26/bdigdb/config/

Ok - then extract and build the tools (make). Plug in the serial cable. After that read the current config:

./bdisetup -v -p/dev/ttyS0 -b57

Then configure it example:

./bdisetup -c -p/dev/ttyS0 -b57 -i192.168.1.2 -h192.168.1.1 -fevb405gp.cfg

And at last write it:

./bdisetup -v -p/dev/ttyS0 -b57 -s

Ok now you are able to connect with telnet to your BDI

telnet 192.168.1.2

To go on read:

http://www.microcross.com/Debugging_Linux_Kernel.pdf