pcDuino is a mini PC platform that runs a 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.
Available in a number of different model types to suit the needs of different users, you can find out more about pcDunion through their website.