Trivial operating system for RaspberryPi. Lessons here http://www.cl.cam.ac.uk/projects/raspberrypi/tutorials/os/index.html