http://www.pcduino.com/?page_id=1618
pcDuino is available with arduino 1:1 headers..no t-board with level shifter necesarry anymore,
http://www.exp-tech.de/Shields/Schnittstelle/T-Board-to-Bridge-Arduino-Shield-to-pcDuino-with-Level-Shifter.html
and comes with build in wifi…
BUT: has only 10bit ADC… not 12bit as first believed..