2st PCDUINO v2
pcDuino is a mini PC platform that runs PC like OS such as Ubuntu and Android ICS. It outputs screen to HDMI. Moreover, it has hardware headers interface compatible with Arduino.

Dimensions: 125mm X 52mm
Features:
Allwinner A10, 1GHz ARM Cortex A8 CPU
GPU: OpenGL ES2.0, OpenVG 1.1 Mali 400 core
1GB DRAM
Onboard Storage: 2GB Flash, microSD card (TF) slot for up to 32GB
Arduino-Style Peripheral Headers (Adapter Needed for Shield Form-Factor)
HDMI Video Output
0.1" Spaced GPIO Headers
RJ45 Ethernet Connection
Wifi: 802.11 b/g/n
Power Requirements: 2A @ 5VDC
API to access the following interfaces:
UART
ADC
PWM
GPIO
I2C
Program in C, C++ with GNU tool chain
Program in Java with standard Android SDK