I've been using a clone J-Link which works pretty good. I got it probably 5 years ago, so it's impressive that it works. I think I'm using a patched version of openocd with it though.