Raspberry Pi, if you haven’t already heard, is an ARM GNU/Linux box for $25. It is a roughly credit-card sized computer that plugs into your TV and a …