pcDuino Mini PC with Adruino-compatible headers
Features
pcDuino is a high performance, cost effective mini PC platform that runs PC like OS such as Ubuntu and Android ICS. It outputs its screen to HDMI enabled TV or monitor via the built in HDMI interface. It is specially targeted for the fast growing demands from the open source community, that is, a platform could runs full blown PC like OS with easy to use tool chain and compatible with the popular Arduino ecosystem such as Arduino Shields with a bridge shield and open source projects.
Specification
A Mini PC with Arduino type Interface powered by ARM Pro Spec:
Manufacturer website - http://www.pcduino.com