Arduino due - 32 bits ?

or the Arduino Leonardo.

Yes I've all but given up on the Due, but why hasn't the Leonardo been released? After all there are so many clones out that the details are not secret (unless they change it).

Both of these boards should be easy to design for the hardware, maybe the delay is in getting a new IDE/tool chain working.


Rob