If you have a Raspberry Pi in your possession, chances are it has been running either Debian Squeeze or Arch Linux as an OS. Both are very capable solutions for the $25 PC, but neither one of them takes advantage of the Pi’s floating point hardware, meaning you aren’t getting the best performance. Today, that [...]