I'm using the tools from the raspberrypi github page, specifically the arm-bcm2708hardfp-linux-gnueabi compilers, however the resulting binary ends up being (when read with the file command: ELF 32-bit LSB executable, ARM, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 3.3.4,...