Sorry for the off-topic post. Just excited that the RaspberryPi boards are now in production and will be ready for purchase soon.

If you don't know, the RaspberryPi is an ARM-based computer about the size of a credit card with SD Card, USB and HDMI out. Cost? $35.