Arduino due - 32 bits ?

Perhaps there are some minor problems they want to know fixed before finally releasing it?

Would be really happy, if this could find a way to us within this year ...
I want to use Arduino for a bigger project, but there is the need of 32bit due to operating system support.

(The book you are talking off is not really available at amazon at the moment. Try here instead: http://www.chapters.indigo.ca/books/Pro-Arduino-Rick-Anderson-Dan-Cervo/9781430239390-item.html?ikwid=rick+anderson&ikwsec=Books)