Since I needed a mini LAMP (Linux / Apache / MYSQL / PHP) server, I dug out my older pcDuino for the job. There’s a Ubuntu image available at http://www.pcduino.com/?p=1892.
pcDuino is a mini PC platform that runs a PC like OS such as Ubuntu and Android ICS. It outputs video through a HDMI interface. Moreover, newer versions have hardware headers compatible with Arduino.