Arduino Due Mini/Nano

Yet another interesting mini ARM dev board:

http://www.kickstarter.com/projects/kuy/galago-make-things-better

also:

http://outbreak.co/galago

The thing that sets this apart is the IDE hardware debugging using JTAG and gdb. (I'm intrigued enough that I've actually preordered one. Must. Stop. Buying. Dev. Boards. Just. Because. They. Look. Interesting.)

I was wondering if the DUE might not have JTAG based debugging with it. Are there any firm future plans for hardware debugging on an Arduino ARM based deg board? I seem to remember discussions where this was going to be on the agenda for the DUE (a NZ-based developer of a debugger product springs to mind), but I guess it got left out under time pressure to get it out the door. Or are the technical difficulties deeper than that?

Hardware debugging would be a very nice feature. Obviously.