Unless you've been hiding under a rock lately, we're pretty sure you've heard about the Raspberry Pi by now -- a $25 credit-card sized PC that brings ARM/Linux to the Arduino form factor. As a refresher, the system features a 700MHz Broadcom BCM2835 SoC with an ARM11 CPU, a Videocore 4 GPU (which handles HD H.264 video and OpenGL ES 2.0) and 256MB RAM. The board includes an SD card slot, HDMI ouput, composite video jack, 3.5mm audio soc
