This repository contains the code for the Raspberry-Pi bare-metal programming in C series. The home of the tutorial and all of the articles relating to the code is at http://www.valvers.com/embedded-linux/raspberry-pi
You can build on linux, windows, or MAC - all you need is the arm-none-eabi toolchain.
For all platforms, you can get the required toolchain used in this tutorial from the https://launchpad.net/gcc-arm-embedded project - I recommend getting the 4.7 toolchain because I've had problems with the 4.9 toolchain.
Have fun, and remember to experiment!
Here are some more interesting links:
The Online-disassembler: http://onlinedisassembler.com/
Original Cambridge Tutorial: http://www.cl.cam.ac.uk/projects/raspberrypi/tutorials/os/index.html
ARM Instruction Reference: http://infocenter.arm.com/help/topic/com.arm.doc.qrc0001l/QRC0001_UAL.pdf
GNU ARM Embedded Toolchain: https://launchpad.net/gcc-arm-embedded
Newlib C-Library documentation: https://sourceware.org/newlib/libc.html