https://github.com/jameswalmsley/RaspberryPi-FreeRTOS
http://balau82.wordpress.com/2010/12/05/using-ubuntu-arm-cross-compiler-for-bare-metal-programming/
http://hertaville.com/2012/09/28/development-environment-raspberry-pi-cross-compiler/
http://www.raspberrypi.org/phpBB3/viewtopic.php?f=33&t=8758
http://www.raspberrypi.org/phpBB3/viewtopic.php?t=30318&p=265646