Link: Operating Systems Development for Raspberry Pi

The University of Cambridge has [an open course on developing operating systems for the Raspberry Pi](http://www.cl.cam.ac.uk/freshers/raspberrypi/tutorials/os/). For more details, [PC Pro has some coverage](http://www.pcpro.co.uk/news/education/376702/cambridge-offers-free-online-raspberry-pi-course).