Braben has developed a tiny USB stick PC that has a HDMI port in one end and a USB port on the other. You plug it into a HDMI socket and then connect a keyboard via the USB port giving you a fully functioning machine running a version of [Ubuntu?] Linux. The cost? $25.
It uses a 700MHz ARM11 processor coupled with 128MB of RAM and runs OpenGL ES 2.0 allowing for decent graphics performance with 1080p output confirmed.