I finally have gotten OpenOCD up and running (I think) with a Zedboard and the Digilent SMT2 JTAG interface. Does anyone have any tips or tricks for working with OpenOCD that they would care to share? I am interested in exploring SMP and the rems-libbsd network stack, either together or separately. Thanks, Ric