Almost 3 months later, and Due isn't there... nor is any info from the "core team". Time to conclude it was definitely vaporware ?
Anyone interested in REAL 32-bit solutions for speed and pins ? MPIDE supports both Arduinos and Chipkits. Maple and Wiring decided to merge, but lack volunteers. Which of both alternatives looks more interesting to you all ?