JTAG Debugging

I have a question for Massimo (or anyone who knows the answer I guess)
-just got my Arduino Due today, and I'm wondering if anyone can suggest some good HW and SW that will allow me to debug with JTAG?
for example, would the Black Magic probe and OpenOCD work with the Due?