For ARMv6 and ARMv7 Linux systems.

                              Built with GCC v4.5.5 on a Raspberry Pi
                              running Debian Linux v6.0.4.
