JTAG adapter for Arduino Due

Hello everyone,

Does anybody use a JTAG adapter to perform in-circuit debugging on the Arduino Due board? Does your setup work?

If yes, could you tell me what JTAG adapter you are using, and how? I'm currently trying to use Olimex ARM-USB-TINY-H to debug a RIOT driver on Arduino Due, but I cannot make this thing work, and thus I'm currently stuck...

Thanks,