This tiny USB stick PC was featured on Slashdot and many other sites. It’s intended as a $25 throw-away computer education tool, and uses an ARM11 with 128MB of RAM:
David 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 Linux. The cost is only $25.
Braben says he hopes to be distributing the Raspberry Pi device within the next 12 months.
Thanks to everyone who sent this in!