My experimentation with making an ARM-based RaspberryPI OS starting with the tutorial at http://www.cl.cam.ac.uk/projects/raspberrypi/tutorials/os/