This project could interest some people on this list : http://www.raspberrypi.org/
Specification : * 700MHz ARM11 * 128MB of SDRAM * OpenGL ES 2.0 * 1080p30 H.264 high-profile decode * Composite and HDMI video output * USB 2.0 * SD/MMC/SDIO memory card slot * General-purpose I/O * Open software (Ubuntu, Iceweasel, KOffice, Python)
The price is around 25$. ++
Jack