Raspberry Pi - the £15 USB computer

David Braben (Elite fame) has developed a USB stick PC with HDMI at one end and a USB for keyboard at the other. Runs a version of linux.