There’s no question that the Raspberry Pi is everyone’s favorite ARM development board right now: it’s cheap, silent, and exceptionally power efficient. The Raspberry Pi makes an excellent choice for low-energy applications like personal servers, routers, firewalls, environmental monitoring setups, etc, etc.But the Raspberry Pi has one big downside, it’s a fairly slow machine. With only 512 MB of RAM (if you have one of the newer builds) and a 700 MHz ARM, it certainly isn’t doing a lot of heavy lifting. Its dedicated GPU makes it possible to do things like playback HD video, but in terms of...