I was thinking of developing an operating system from scratch for the Raspberry Pi for educational purposes.  However, I have never worked with the ARM architecture before.  Can anyone point me to some development tools to help me get started?  Google is being unhelpful to me.