Neat demo of Raspberry Pi, an ARM GNU/Linux box for $25: Bringing up a beta board