Here's an article on writing C targeting bare-metal Raspberry Pi.
http://www.valvers.com/open-software/raspberry-pi/step01-bar...