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. pcDuino can be used to teach Python, C and more interesting stuff.
It's easy to hook up, just connect 5V power and a keyboard and mouse. The pcDuino outputs video to any HDMI enabled TV or monitor via the built in HDMI interface. It was specifically designed to make it easy for the open source community to develop computationally demanding projects using the vast, existing catalog of Arduino Shields.
An API has been developed for the pcDuino that allows the user to access all of the functions that you would expect using simple Arduino-style language.
Note: The pcDuino has trouble connecting to certain DVI monitors. There is a fix available on the pcDuino wiki page. Check the documents below!