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.
In light of the coming of Ubuntu TV, the prospect of a credit card-sized PC to serve content is very interesting.
Or maybe not, on reading the FAQ.