I've been using gdb with u-boot via openocd. I'm sure others are doing something similar, but I did a quick entry on what I'm doing. Maybe someone else will find it usefull. http://openhardware.wordpress.com/2009/06/19/u-boot-gdb/ thanks, Paul